Tutorials by R. Alur, E.
Clarke, D. Dill and
J. Sifakis on July 6
Invited talks by E. Brinksma, A. Deutsch, Z. Manna, G. Stalmarck
34 contributed papers and 5 tool presentationsCAV'99 is the eleventh in a
series dedicated to the advancement of the theory and practice of computer-assisted formal
analysis methods for software and hardware systems. The conference covers the spectrum
from theoretical results to concrete applications, with an emphasis on practical
verification tools and the algorithms and techniques that are needed for their
implementation. The proceedings of the conference will be published in the Springer-Verlag
Lecture Notes in
Computer Science series.
Topics
Program
Affiliated
Workshops
Chairs
and Committee
Papers
Registration
Tutorial
Business Meeting
|
