C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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