Skip to main content

Module engine

rapx::verify

Module engine 

Source
Expand description

Symbolic-VM-based verification engine.

Uses a semantic MIR executor to build symbolic state, then checks safety properties with a unified property checker.

Structs§

VerifyEngine 🔒
The three verification stages: a backward BackwardSlicer, a SymbolicVm, and a PropertyChecker.