Login / Signup

An Approach to Formal Verification of Arithmetic Functions in Assembly.

Reynald AffeldtNicolas 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