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

maintained by Schloss Dagstuhl LZI at University of Trier