Synthesis of finite state machines for improved state verification.

Imtiaz Ahmad Faridah M. Ali A. Shoba Das

Published in: Comput. Electr. Eng. (2006)

Keyphrases

finite state machines
model checking
state transition
cellular automaton
finite state automata
regular expressions
neural network
hidden markov models
state space
regular languages
business intelligence
digital circuits
program synthesis