98 citations · 200 across the 15 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 16 cited
Abstract Stobjs and Their Application to ISA Modeling
Shilpi Goel, Warren A Hunt, Matt Kaufmann
We introduce a new ACL2 feature, the abstract stobj, and show how to apply it to modeling the instruction set architecture of a microprocessor. Benefits of abstract stobjs over tra…
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…