Skip to content

Angelic Verifier

Jump to bottom
Shuvendu Lahiri edited this page Aug 18, 2018 · 12 revisions

Documentation about the Angelic Verification (AV) tool!

Modules

AV is comprised of the following high-level modules:

  1. AngelicVerifierNull.exe

  2. AvHarnessInstrumentation.exe

  3. FastAVN.exe

  4. PropInst.exe

AV annotations

AV Regressions

There are two sets of unit tests

Clone this wiki locally