Verification Backend API

include/Verification/Backend/ and lib/Verification/Backend/ define the shared abstraction used to invoke different verification engines through one API.

Main components:

• PropertyClass and VerificationTask describe the requested job.

• VerificationResultInfo stores standardized results.

• IBackend is the backend interface.

• BackendRegistry manages available implementations.

The built-in registry covers SeaHorn, Sifa, SymAbsAI, and Clam.

See also Verification and Verification Backend Abstraction.