2.3k citations · 2.5k across the 16 of their papers we have counts for
1 paper · 1 filter
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…