Sign in
Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs.
Anja F. Karl
Robert Schilling
Roderick Bloem
Stefan Mangard
Published in:
VMCAI (2019)
Keyphrases
</>
error detection
symbolic execution
small number
error bounds
error rate
fault diagnosis
prediction error
fault detection
run length
genetic algorithm
knowledge base
motion estimation
human visual system
model based diagnosis
hardware designs