2. CAV 1990: New Brunswick, NJ, USA

1. Tools and Computation

2. Partial Orders

3. Reduction in Finite State Systems

4. Automaton Models

5. Model Synthesis

6. Theorem-Provers

7. Process Algebra