98 citations · 200 across the 15 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
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…
cs.SE2011★ 52 cited
Integrating Testing and Interactive Theorem Proving
Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann +1
Using an interactive theorem prover to reason about programs involves a sequence of interactions where the user challenges the theorem prover with conjectures. Invariably, many of…