Formalizing Time4sys using parametric timed automata.

Étienne André

Published in: CoRR (2019)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
real time systems
theorem proving
parametric models
real time
artificial intelligence
social networks
web services
similarity measure