The following pages link to ACL2s (Q19751):
Displaying 12 items.
- Delay-bounded scheduling without delay! (Q832185) (← links)
- Adapting functional programs to higher order logic (Q1029815) (← links)
- Keeping logic in the trivium of computer science: a teaching perspective (Q1696593) (← links)
- ACL2s: “The ACL2 Sedan” (Q2867932) (← links)
- Automating Induction with an SMT Solver (Q2891425) (← links)
- Zeno: An Automated Prover for Properties of Recursive Data Structures (Q2894285) (← links)
- The ACL2 Sedan Theorem Proving System (Q3000661) (← links)
- Predicate Abstraction for Program Verification (Q3176373) (← links)
- An ACL2 Tutorial (Q3543644) (← links)
- All-Termination(T) (Q3617771) (← links)
- Automating Inductive Proofs Using Theory Exploration (Q4928454) (← links)
- Interactive Termination Proofs Using Termination Cores (Q5747661) (← links)
