1. Temporal and Behavioural Verification I
: A Graph-Based Method for Timing Diagrams Representation and Verification.
2. Verification and Diagnosis
3. Proof of Microprocessors
4. Temporal and Behavioural Verification II
P. A. Subrahmanyam
: Towards Verifying Large(r) Systems: A Strategy and an Experiment.
5. Asynchronous Circuit Design
Andrew M. Bailey
: Automatic Verification of Speed-Independent Circuit Designs Using the Circal System.
Joep L. W. Kessels
: Calculational Derivation of a Counter with Bounded Response Time.
7. Use of Theorem Provers
: An Approach to Formalization of Data Flow Graphs.