Verification of UML State Diagrams Using Concurrent State Machines.

Jerzy Miescicki

Published in: SET (2006)

Keyphrases

state machines
sequence diagrams
state machine
class diagrams
petri net
formal methods
fault tolerant
software engineering
intermediate representation
uml class diagrams
genetic algorithm
software systems
database design
model checking
class diagram
unified modeling language