BackendsΒΆ

Backends in jiav are used to execute various verification steps.

Each backend represents a distinct method of executing user-defined logic.

Developers are able to extend jiav with custom backends, refer to Developing Backends.

External Backends