The ACL2 Sedan Theorem Proving System
Abstract elided by the publisher.
Related papers
- Meta-level features in an industrial-strength theorem prover POPL 2012
- GACAL: Conjecture-Based Verification - (Competition Contribution) TACAS 2020
- The apprentice challenge TOPLAS 2002
- Automated and Scalable Verification of Integer Multipliers CAV 2020
- Efficient execution in an automated reasoning environment JFP 2008
- An ACL2 Proof of Write Invalidate Cache Coherence CAV 1998
- Functional formal methods ICFP 2002
- Engineering Software Correctness JFP 2007