The Backward Walk Approach in FSM Verification.

Stefan Krischer

Published in: CHDL (1993)

Keyphrases

finite state machines
model checking
random walk
verification method
forward and backward
concurrent systems
functional verification
forward search
forward backward
bi directional
learning environment
multiscale
case study
decision making
computer vision
data mining
neural network