Automated Verification of AADL-Specifications Using UPPAAL.

Andreas Johnsen Kristina Lundqvist Paul Pettersson Omar Jaradat

Published in: HASE (2012)

Keyphrases

automated verification
model checking
model checker
formal verification
temporal logic
formal specification
timed automata
finite state machines
automated reasoning
formal methods
test case generation
reactive systems
data mining
test cases
real time