Overview

The CAV'06 conference is the 18th 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.

Program

• CAV program
• CAV accepted papers
• CAV Associated Workshops and Events

Invited Talks

• Thursday, August 17th, 16:30‑17:30
  Manuvir Das (Microsoft)
  Formal Specifications on Industrial-Strength Code - From Myth to Reality [ppt]
• Friday, August 18th, 09:00‑10:00
  Tony Hoare (Microsoft Research)
  The Ideal of Verified Software [ppt]
• Sunday, August 20th, 09:00‑10:00
  Joe Stoy (Bluespec)
  Verification? Getting it Right the First Time [ppt]

Tool Demos

Joint CAV-IJCAR Excursion and Banquet on Puget Sound!

The CAV excursion and banquet will be held on the evening of Friday, August 18. The cruise boards from 19:00 to 19:30 at Pier 55. The cruise departs at 19:30. We will be taking a Royal Argosy Cruise on the Spirit of Seattle with incredible views of Seattle and an elegant dinner. There will be live musical entertainment-bring your dancing shoes! Banquet tickets are not included in the CAV registration - they must be purchased separately. Attendance is limited to 220 people, so register early!

Directions to Pier 55 from Hotel (15 minute walk)

• Walk west from hotel to 1st Ave. on Pike St.
• Cross to west side of 1st Ave and turn left.
• Go two blocks to University St. (you will see the closed Seattle Art Museum on the other side of 1st Ave).
• Take a right and go all the way down the big set of stairs (Harbor Steps).
• Go under the elevated highway (99) and cross over the street.
• Turn left and proceed a short way to Pier 55/56.

Special Symposium on 25 Years of Model Checking

This year, the CAV tutorial will be replaced with a special symposium entitled "25 Years of Model Checking", As it will be of widespread interest, this symposium has been organized as a separate FLoC workshop and will take place on August 16. The symposium will consist of invited lectures delivered by leading researchers in the field of model checking. Topics will include historical perspectives, state-of-the-art research, and directions for future research. The symposium includes a lunch-time panel, consisting of the winners of the 1998 and 2006 ACM Kanellakis awards, who will discuss Verification in the Next 25 Years. The lunch and panel are sponsored by the ACM Distinguished Lectureship Program. CAV registration does not include this symposium. You must register for it separately.

Program Chairs

Program Committee

Steering Committee

Corporate Supporters of CAV

CAV Recognizes the Generous Support of the Following Companies