54 search results - page 1 / 11 » ACL2 |
123
click to vote
ICSE
2007
IEEE-ACM
15 years 3 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 ...
111
Voted
ACL2
2006
ACM
15 years 3 months ago
2006
ACM
105
Voted
ACL2
2006
ACM
15 years 1 months ago
2006
ACM
75
Voted
JAR
2007
14 years 9 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...