Login / Signup
Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines.
Christoph Meinel
Thorsten Theobald
Published in:
Formal Methods Syst. Des. (2001)
Keyphrases
</>
finite state machines
model checking
finite state automata
ordered binary decision diagrams
symbolic representation
encoding scheme
invariant representations
databases
matching algorithm
regular expressions
digital circuits