Login / Signup
Implicit State Enumeration of Finite State Machines Using BDDs.
Hervé J. Touati
Hamid Savoj
Bill Lin
Robert K. Brayton
Alberto L. Sangiovanni-Vincentelli
Published in:
ICCAD (1990)
Keyphrases
</>
mutation testing
finite state machines
database applications
state transition
model checking
finite state automata
cellular automaton
hidden markov models
data sets
neural network
search algorithm
database management systems
timed automata
reinforcement learning
state space
digital circuits