Formal verification of application and system programs based on a validated x86 ISA model

Shilpi Goel
[Google Scholar] [DBLP] [Citeseer] [url]

Ph.D. thesis
University of Texas at Austin
December 2016
Note(s): ISA specification, x86 architecture, instruction set architecture, ACL2 theorem prover