A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata.

Howard Bowman Rodolfo Gómez Li Su

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

timed automata
model checking
automatic detection
reachability analysis
object detection
detection method
detection rate
detection accuracy
false alarms
detection algorithm
theorem prover
multiscale
database
software tools
intrusion detection
anomaly detection
target detection
neural network