Efficient Detection of Vacuity in ACTL Formulaas.

Ilan Beer Shoham Ben-David Cindy Eisner Yoav Rodeh

Published in: CAV (1997)

Keyphrases

model checking
temporal logic
detection algorithm
object detection
detection method
formal specification
false alarms
modal logic
automatic detection
detection accuracy
data sets
false positives
computationally expensive
lightweight
social networks
data mining
databases