The following pages link to An ACL2 Tutorial (Q3543644):
Displayed 4 items.
- The right tools for the job: correctness of cone of influence reduction proved using ACL2 and HOL4 (Q540690) (← links)
- Verifying a scheduling protocol of safety-critical systems (Q2424721) (← links)
- ACL2s: “The ACL2 Sedan” (Q2867932) (← links)
- The ACL2 Sedan Theorem Proving System (Q3000661) (← links)