Login / Signup
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM.
Peter Leven
Tilman Mehler
Stefan 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