ACL2s
From MaRDI portal
Software:19751
No author found.
Related Items (12)
Automating Induction with an SMT Solver ⋮ Delay-bounded scheduling without delay! ⋮ Zeno: An Automated Prover for Properties of Recursive Data Structures ⋮ Predicate Abstraction for Program Verification ⋮ Keeping logic in the trivium of computer science: a teaching perspective ⋮ An ACL2 Tutorial ⋮ The ACL2 Sedan Theorem Proving System ⋮ Automating Inductive Proofs Using Theory Exploration ⋮ Interactive Termination Proofs Using Termination Cores ⋮ All-Termination(T) ⋮ Adapting functional programs to higher order logic ⋮ ACL2s: “The ACL2 Sedan”
This page was built for software: ACL2s
