A New Approach To Checking Sequence Generation for Finite State Machines.

Burak Serdar Kuo-Chung Tai

Published in: TestCom (2002)

Keyphrases

finite state machines
state transition
finite state automata
model checking
data sets
hidden markov models
digital circuits
database
regular expressions
generation process
regular languages