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!
- The ACL2 Sedan Theorem Proving System
- Adapting functional programs to higher order logic
- Automating Induction with an SMT Solver
- Zeno: An Automated Prover for Properties of Recursive Data Structures
- Automating Inductive Proofs Using Theory Exploration
- ACL2s: ``the ACL2 sedan
- Predicate Abstraction for Program Verification
- Interactive Termination Proofs Using Termination Cores
- An ACL2 Tutorial
- Keeping logic in the trivium of computer science: a teaching perspective
This page was built for software: ACL2s
