Modelisation of Timed Automata in Coq.

Christine Paulin-Mohring

Published in: TACS (2001)

Keyphrases

timed automata
theorem prover
reachability analysis
model checking
theorem proving
formal methods
first order logic
inference rules
fine grained
real time systems