Login / Signup

Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM.

Peter LevenTilman MehlerStefan Edelkamp
Published in: SPIN (2004)
Keyphrases
  • error detection
  • model checker
  • error correction
  • model checking
  • formal verification
  • description language
  • formal methods
  • temporal logic
  • fault diagnosis
  • sensor data
  • partial order