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