Checking Reachability Properties for Timed Automata via SAT.

Bozena Wozna Andrzej Zbrzezny Wojciech Penczek

Published in: Fundam. Informaticae (2003)

Keyphrases

timed automata
reachability analysis
model checking
satisfiability problem
real time
desirable properties
first order logic
optimal solution
theorem prover
theorem proving
sat problem