The ACL2 Sedan Theorem Proving System
From MaRDI portal
Publication:3000661
DOI10.1007/978-3-642-19835-9_27zbMath1316.68132OpenAlexW1727725625MaRDI QIDQ3000661
Daron Vroon, Harsh Raju Chamarthi, Panagiotis Manolios, Peter C. Dillinger
Publication date: 19 May 2011
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-19835-9_27
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Automating Induction with an SMT Solver ⋮ Predicate Abstraction for Program Verification ⋮ Keeping logic in the trivium of computer science: a teaching perspective ⋮ Milestones from the Pure Lisp Theorem Prover to ACL2
Uses Software
Cites Work
This page was built for publication: The ACL2 Sedan Theorem Proving System
