On-line detection of logic errors due to crosstalk, delay, and transient faults.

Cecilia Metra Michele Favalli Bruno Riccò

Published in: ITC (1998)

Keyphrases

error detection
automatic detection
fault diagnosis
detection algorithm
false alarms
detection method
detection accuracy
object detection
classical logic
modal logic
proof theory
knowledge base
logical framework
correlation analysis
model based diagnosis
steady state
anomaly detection
expert systems