Decomposition of Finite State Machines under Isomorphic and Bisimulation Equivalences.

Huajun Qin Philip Lewis

Published in: AMAST (1991)

Keyphrases

finite state machines
model checking
functional decomposition
finite state automata
decomposition method
digital circuits
regular expressions
hidden markov models
query evaluation
decomposition algorithm
database systems
connected components
mutation testing