Interactive Verification of UML State Machines.

Michael Balser Simon Bäumler Alexander Knapp Wolfgang Reif Andreas Thums

Published in: ICFEM (2004)

Keyphrases

state machines
state machine
sequence diagrams
petri net
formal methods
finite state machines
fault tolerant
model checking
software systems
dependency graph
training data
database
modeling language
software engineering
object oriented
image features
hidden markov models
reactive systems