Simulation and formal verification of x86 machine-code programs that make system calls.

Shilpi Goel, Warren A. Hunt Jr., Matt Kaufmann, Soumava Ghosh

Browse the full FMCAD paper archive.