3. CAV 1991: Aalborg, Denmark

Session 1: Equivalence Checking

Session 2: Model Checking

Session 3: Applications 1

Session 4: Applications 2

Session 5: Tools for Process Algebras

Session 6: The State Explosion Problem

Session 7: Symbolic Model Checking

Session 8: Verification and Transformation Techniques

Session 9: Higher Order Logic

Session 10: Partial Order Approaches

Session 11: Hardware Verification

Session 13: Timed Specification and Verification 1

Session 14: Timed Specification and Verification 2

Session 15: Automata

maintained by Schloss Dagstuhl LZI at University of Trier