Methods of verification
1. A method of verification of combinatorial circuits
2. A method of verification of finite state automations
3. A method of verification of microprogram automata
<back>