Login / Signup
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