Verifying Opacity of Discrete-Timed Automata.

Julian Klein Paul Kogel Sabine Glesner

Published in: FormaliSE@ICSE (2024)

Keyphrases

timed automata
model checking
reachability analysis
temporal logic
theorem prover
discrete geometry
theorem proving
first order logic
search engine
finite number
verification method