98 citations · 200 across the 15 of their papers we have counts for
Showing cs.SEShow 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.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…