Testing timed automata.

Jan Springintveld Frits W. Vaandrager Pedro R. D'Argenio

Published in: Theor. Comput. Sci. (2001)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
genetic algorithm
real time systems
real world
decision making
user interface
supervised learning
test set
test cases
first order logic
theorem proving
test generation