A Complete Axiomatisation for Timed Automata.

Huimin Lin Wang Yi

Published in: FSTTCS (2000)

Keyphrases

timed automata
model checking
reachability analysis
functional dependencies
modal logic
theorem prover
databases
machine learning
artificial intelligence
theorem proving