UPPAAL in a Nutshell.

Kim Guldstrand Larsen Paul Pettersson Wang Yi

Published in: Int. J. Softw. Tools Technol. Transf. (1997)

Keyphrases

model checking
timed automata
controller synthesis
model checker
formal verification
real time
artificial intelligence
web services
evolutionary algorithm
data model
scheduling problem
general purpose
closed loop
temporal logic
formal methods