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

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

Published in: FMCAD (2014)

Keyphrases

formal verification
program slicing
model checking
model checker
source code
symbolic model checking
automated verification
simulation model
java programs
bounded model checking
computer programs
error handling
state space
code generation
mathematical model
temporal logic
artificial intelligence