UPPAAL: Status & Developments.

Kim Guldstrand Larsen Paul Pettersson Wang Yi

Published in: CAV (1997)

Keyphrases

current status
model checking
timed automata
artificial intelligence
controller synthesis
feature selection
face recognition
software engineering
database
real time
data sets
neural network
knowledge base
knowledge representation
formal verification
model checker