Login / Signup
Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines
Christoph Meinel
Thorsten Theobald
Published in:
Universität Trier, Mathematik/Informatik, Forschungsbericht (1996)
Keyphrases
</>
finite state machines
model checking
finite state automata
symbolic model checking
ordered binary decision diagrams
digital circuits
regular expressions
encoding scheme
database systems
video sequences
hidden markov models
object oriented
mutation testing