An Approach for UIO Generation for FSM Verification and Validation.

D. Schin Yinan N. Shen Fabrizio Lombardi

Published in: ISCAS (1994)

Keyphrases

finite state machines
model checking
asynchronous circuits
data mining
decision making
case study
formal analysis
artificial intelligence
objective function
expert systems
distributed systems
face verification
generation process
concurrent systems