Verification of scope-dependent hierarchical state machines.

Salvatore La Torre Margherita Napoli Mimmo Parente Gennaro Parlato

Published in: Inf. Comput. (2008)

Keyphrases

state machines
state machine
petri net
recurrent networks
model checking
fault tolerant
finite state machines
reactive systems
case study
recurrent neural networks