Finite state machine verification on MIMD machines.

Nand Kumar Ranga Vemuri

Published in: EURO-DAC (1992)

Keyphrases

finite state machines
model checking
formal verification
finite state automata
parallel algorithm
load balancing
state machine
state transition
verification method
databases
hidden markov models
face verification
signature verification
cellular automaton
digital circuits