98 citations · 200 across the 15 of their papers we have counts for
1 paper · 2 filters
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…