The following pages link to ACL2s: “The ACL2 Sedan” (Q2867932):
Displaying 7 items.
- Delay-bounded scheduling without delay! (Q832185) (← 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)
