An Approach to Formal Verification of Arithmetic Functions in Assembly.

Reynald Affeldt Nicolas Marti

Published in: ASIAN (2006)

Keyphrases

formal verification
model checking
model checker

bounded model checking
automated verification
arithmetic operations

temporal logic
orders of magnitude

formal specification
program slicing