Axiomatising timed automata.

Huimin Lin Wang Yi

Published in: Acta Informatica (2002)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
temporal logic
real time systems
probabilistic model