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>