Vx86: x86 assembler simulated in C powered by automated theorem proving

Stefan Maus, Michał Moskal, Wolfram Schulte
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
Springer
Berlin, Heidelberg
Pages 284-298
2008
Note(s): x86 architecture, hypervisor, operating systems, binary analysis