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