Verification of well-formed communicating recursive state machines.

Laura Bozzelli Salvatore La Torre Adriano Peron

Published in: Theor. Comput. Sci. (2008)

Keyphrases

state machines
state machine
petri net
recurrent networks
model checking
automatically generated
sequence diagrams
neural network
formal methods
knowledge base
expert systems