Login / Signup

Memory Models for the Formal Verification of Assembler Code Using Bounded Model Checking.

Wolfgang EckerVolkan EsenThomas SteiningerMartin Zambaldi
Published in: ISORC (2004)
Keyphrases
  • formal verification
  • bounded model checking
  • model checking
  • program slicing
  • model checker
  • symbolic model checking
  • multi agent systems
  • dynamic programming
  • temporal logic
  • reactive systems