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.
Builtin Backends
External Backends