Which Verification for Soft Error Detection?

Leonardo Bautista-Gomez Anne Benoit Aurélien Cavelan Saurabh K. Raina Yves Robert Hongyang Sun

Published in: HiPC (2015)

Keyphrases

error detection
error correction
error recovery
data cleansing
error correcting
fault tolerance
error resilient
error control
fault isolation
model checking
face verification
formal verification
magnetic tape
verification method
multi agent
fault tolerant
data sources