UPPAAL 4.0.

Gerd Behrmann Alexandre David Kim Guldstrand Larsen John Håkansson Paul Pettersson Wang Yi Martijn Hendriks

Published in: QEST (2006)

Keyphrases

model checking
timed automata
controller synthesis
model checker
real time
genetic algorithm
learning algorithm
support vector
image analysis
rough sets
temporal logic
test suite
formal verification