Execution and Verification of UML State Machines with Erlang.

Ricardo J. Rodríguez Lars-Åke Fredlund Ángel Herranz-Nieva Julio Mariño

Published in: SEFM (2014)

Keyphrases

state machines
state machine
sequence diagrams
petri net
model checking
finite state machines
fault tolerant
formal methods
software engineering
intermediate representation
reactive systems
test cases
software systems
distributed systems
learning algorithm
object oriented
web services
artificial intelligence