Engineering a formal, executable x86 ISA simulator for software verification
Shilpi Goel, Warren A. Hunt Jr., Matt Kaufmann[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Provably Correct Systems
Springer International Publishing
Cham
Pages 173-209
2017
Note(s): x86 architecture, instruction set architecture, ISA specification, ACL2 theorem prover
Springer International Publishing
Cham
Pages 173-209
2017
Note(s): x86 architecture, instruction set architecture, ISA specification, ACL2 theorem prover