A Technique for Proving Liveness of Communicating Finite State Machines with Examples.

Mohamed G. Gouda Chung-Kuo Chang

Published in: PODC (1984)

Keyphrases

finite state machines
finite state automata
model checking
hidden markov models
training examples
data sets
neural network
decision trees