ACL2s
From MaRDI portal
Cited in
(18)- Adapting functional programs to higher order logic
- Keeping logic in the trivium of computer science: a teaching perspective
- Zeno
- SLAB
- Wolverine
- ACL2s: ``the ACL2 sedan
- Automating Induction with an SMT Solver
- Zeno: an automated prover for properties of recursive data structures
- The ACL2 Sedan theorem proving system
- monabs
- Predicate abstraction for program verification
- An ACL2 Tutorial
- All-Termination(T)
- DrACuLa
- Regexp
- Automating Inductive Proofs Using Theory Exploration
- Interactive Termination Proofs Using Termination Cores
- Delay-bounded scheduling without delay!
This page was built for software: ACL2s
