Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC.

Jocelyn Simmonds Jessica Davies Arie Gurfinkel Marsha Chechik

Published in: FMCAD (2007)

Keyphrases

model checking
temporal logic
detection algorithm
detection accuracy
detection rate
false positives
false alarms
detection method
multiscale
theorem proving
anomaly detection
deterministic automata
database
detection scheme
change detection
object detection
high resolution
search algorithm
multi agent
real time