The following pages link to ACL2s: ``the ACL2 sedan'' (Q2867932):
Displaying 8 items.
- Delay-bounded scheduling without delay! (Q832185) (← links)
- Integrating external deduction tools with ACL2 (Q1006728) (← links)
- Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification (Q2827442) (← links)
- ACL2s: ``the ACL2 sedan'' (Q2867932) (← links)
- The ACL2 Sedan Theorem Proving System (Q3000661) (← links)
- An ACL2 Tutorial (Q3543644) (← links)
- All-Termination(T) (Q3617771) (← links)
- Integrating testing and interactive theorem proving (Q6586529) (← links)