CAV 2002

Conference on Computer-Aided Verification
Copenhagen, Denmark, July 27-31, 2002

Future link: CAV 2003 is at

All CAV sessions moved to Auditorium 1

The CAV'02 conference is the fourteenth 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.

CAV is sponsored by Esterel Technologies and    IBM.


The proceedings of CAV have been published in the Springer-Verlag Lecture Notes in Computer Science series. Users with Springer subscriptions can find all CAV papers online at

Invited speakers

Invited tutorials

Program Committee

Steering Committee

Conference Chair

Jens Chr. Godskesen <>, IT U of Copenhagen, Denmark