Parametric non-interference in timed automata.

Étienne André Aleksander Kryukov

Published in: CoRR (2020)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
multipath
database
search engine