A Theoretical Framework for Symbolic Quick Error Detection.

Florian Lonsing Subhasish Mitra Clark W. Barrett

Published in: FMCAD (2020)

Keyphrases

theoretical framework
error detection
error correction
error recovery
data cleansing
error correcting
fault tolerance
theoretical foundation
error resilient
error control
fault isolation
collaborative knowledge building
computer simulation
statistical learning theory
innovation diffusion theory