ACL2s

swMATH7734MaRDI QIDQ19751FDOQ19751

Author name not available (Why is that?)

Official website: http://acl2s.ccs.neu.edu/acl2s/doc/

Cited In (18)

• 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
• Zeno
• SLAB
• Wolverine
• monabs
• DrACuLa
• Regexp
• 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