An efficient verifier for finite state machines.

Seung Ho Hwang A. Richard Newton

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1991)

Keyphrases

finite state machines
model checking
finite state automata
hidden markov models
regular expressions
digital circuits
real time
information retrieval
relational databases
data model
object oriented
computationally efficient