Testability driven synthesis of interacting finite state machines.

Pranav Ashar Srinivas Devadas A. Richard Newton

Published in: ICCD (1990)

Keyphrases

finite state machines
finite state automata
model checking
functional decomposition
data driven
program synthesis
hidden markov models
regular expressions
digital circuits
database
pattern matching
texture synthesis
information extraction
data mining
software testing
low level
test data generation
video sequences