98 citations · 200 across the 15 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.SE2014★ 4 cited
Industrial-Strength Documentation for ACL2
Jared Davis, Matt Kaufmann
The ACL2 theorem prover is a complex system. Its libraries are vast. Industrial verification efforts may extend this base with hundreds of thousands of lines of additional modeling…
cs.AI2014★ 3 cited
Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4
Matt Kaufmann, J Strother Moore
We report on improvements to ACL2 made since the 2013 ACL2 Workshop.