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