Verification of Well-Formed Communicating Recursive State Machines.

Laura Bozzelli Salvatore La Torre Adriano Peron

Published in: VMCAI (2006)

Keyphrases

state machines
state machine
petri net
automatically generated
model checking
recurrent networks
real time
data structure
fault tolerant
reactive systems