16 citations · 20 across the 4 of their papers we have counts for
1 paper · 1 filter
Shilpi Goel
The x86isa library, incorporated in the ACL2 community books project, provides a formal model of the x86 instruction-set architecture and supports reasoning about x86 machine-code…