Login / Signup
Error Detection Using Dynamic Dataflow Verification.
Albert Meixner
Daniel J. Sorin
Published in:
PACT (2007)
Keyphrases
</>
error detection
error correction
fault isolation
error recovery
model checking
data flow
data cleansing
dynamic environments
error correcting