ACL2s
From MaRDI portal
Software:19751
swMATH7734MaRDI QIDQ19751FDOQ19751
Author name not available (Why is that?)
Cited In (12)
- 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
- 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
