54 search results - page 1 / 11 » ACL2 |
133
Voted
ICSE
2007
IEEE-ACM
15 years 5 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
120
Voted
ACL2
2006
ACM
15 years 4 months ago
2006
ACM
115
Voted
ACL2
2006
ACM
15 years 2 months ago
2006
ACM
78
Voted
JAR
2007
14 years 10 months ago
2007
ACL2(r) is a modified version of the theorem prover ACL2 that adds support for the irrational numbers using non-standard analysis. It has been used to prove basic theorems of anal...