7. CHARME 1993: Arles, France

1. Temporal and Behavioural Verification I

2. Verification and Diagnosis

3. Proof of Microprocessors

4. Temporal and Behavioural Verification II

5. Asynchronous Circuit Design

6. Hardware Derivation

7. Use of Theorem Provers