Axe
A toolkit for software verification.
The Axe toolkit provides a variety of tools for software verification, including lifters-into-logic, rewriters, theorem provers, and equivalence checkers.
Most of Axe is now available in the ACL2 Community books, under kestrel/axe/, though much work remains to document it.
See the Axe webpage for more information.
Subtopics
- Axe-r1cs
- The R1CS variant of Axe.
- Axe-lifters
- Axe tools to lift code into logic.
- Axe-core
- The core Axe tools.
- Axe-provers
- The Axe prover tools.
- Axe-rewriters
- The Axe rewriter tools.
- Axe-jvm
- The JVM variant of Axe.
- Axe-x86
- The x86 variant of Axe.
- Axe-risc-v
- The RISC-V variant of Axe.
