7. CAV 1995:
Liège, Belgium
Pierre Wolper (Ed.):
Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings.
Lecture Notes in Computer Science 939 Springer 1995, ISBN 3-540-60045-0
Session 1:
Invited Talk
- Randal E. Bryant:
Multipliers and Dividers: Insights on Arithmetic Circuits Verification (Extended Abstract).
1-3
Session 2
Session 3
Session 4
Session 5:
Invited Tutorial
- E. Allen Emerson:
Methods for Mu-calculus Model Checking: A Tutorial (Abstract).
141
Session 6
Session 7
Session 8
Session 9:
Invited Talk
- Patrick Cousot, Radhia Cousot:
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form.
293-308
Session 10
Sesion 11
Session 12
Copyright © Mon Nov 9 23:12:30 2009
by Michael Ley (ley@uni-trier.de)