98 citations · 200 across the 15 of their papers we have counts for
Showing cs.MSShow all
2 papers · 1 filter
cs.MS2013★ 3 cited
Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1
Matt Kaufmann, J Strother Moore
We report on highlights of the ACL2 enhancements introduced in ACL2 releases since the 2011 ACL2 Workshop. Although many enhancements are critical for soundness or robustness, we f…
cs.MS2011★ 5 cited
How Can I Do That with ACL2? Recent Enhancements to ACL2
Matt Kaufmann, J Strother Moore
The last several years have seen major enhancements to ACL2 functionality, largely driven by requests from its user community, including utilities now in common use such as 'make-e…