Verifying MARTE/CCSL Mode Behaviors Using UPPAAL.

Jagadish Suryadevara Cristina Cerschi Seceleanu Frédéric Mallet Paul Pettersson

Published in: SEFM (2013)

Keyphrases

model checking
finite state machines
temporal logic
model checker
timed automata
human behavior
mixed mode
database
artificial intelligence
database systems
search algorithm
social behavior
verification method
waveguide
controller synthesis