On Checking Timed Automata for Linear Duration Invariants.

Víctor A. Braberman Dang Van Hung

Published in: RTSS (1998)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
knowledge base
linear systems
objective function
natural language
probability distribution
first order logic
real time systems
differential operators