Testing automotive reactive systems using timed automata.

Jan Sobotka Jiri Novák

Published in: IDAACS (2017)

Keyphrases

reactive systems
timed automata
model checking
temporal logic
reachability analysis
real time systems
formal methods
formal specification
state machines
test cases
theorem prover
information flow
machine learning
test suite
petri net
intrusion detection
database systems
social networks