State Assignment for Detecting Erroneous Transitions in Finite State Machines.

Published in: DSD (2006)

Keyphrases

finite state machines
state transition
model checking
finite state automata
state transitions
cellular automaton
information systems
case study
video sequences
relational databases
data exchange
regular expressions
digital circuits