Uppaal Stratego.

Alexandre David Peter Gjøl Jensen Kim Guldstrand Larsen Marius Mikucionis Jakob Haahr Taankvist

Published in: TACAS (2015)

Keyphrases

model checking
controller synthesis
timed automata
transformation rules
highly modular
model checker
functional programs
temporal logic
theorem prover
real time
database systems
data structure
probabilistic model
general purpose