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
University of Texas at Austin
December 2016
Note(s): ISA specification, x86 architecture, instruction set architecture, ACL2 theorem prover