Automated Code Proofs on a Formal Model of the X86.

Shilpi Goel Warren A. Hunt Jr.

Published in: VSTTE (2013)

Keyphrases

formal model
automated theorem provers
semi automated
automated analysis
predicate calculus
source code
computer aided
theorem proving
fully automated
theorem prover
security properties
intrusion detection
static analysis
computer algebra
security patterns