Pages that link to "Item:Q3000661"
From MaRDI portal
The following pages link to The ACL2 Sedan Theorem Proving System (Q3000661):
Displayed 4 items.
- Keeping logic in the trivium of computer science: a teaching perspective (Q1696593) (← links)
- Milestones from the Pure Lisp Theorem Prover to ACL2 (Q2280212) (← links)
- Automating Induction with an SMT Solver (Q2891425) (← links)
- Predicate Abstraction for Program Verification (Q3176373) (← links)