Login / Signup
Exploiting resolution proofs to speed up LTL vacuity detection for BMC.
Jocelyn Simmonds
Jessica Davies
Arie Gurfinkel
Marsha Chechik
Published in:
Int. J. Softw. Tools Technol. Transf. (2010)
Keyphrases
</>
model checking
temporal logic
detection method
detection algorithm
detection rate
automatic detection
high resolution
detection accuracy
change detection
object detection
anomaly detection
consequence finding
data sets
false alarms
event detection
false positives
multi agent systems
case study