Aims and Scope
CAV'07 is the 19th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods
for hardware and software systems. CAV considers it vital to continue its leadership in hardware verification, and maintain its
recent momentum in software verification. 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.
A selection of papers will be invited to a special issue of the International Journal on Formal Methods and System Design.
Invited Talks
- Byron Cook (Microsoft Research):
Automatically Proving Program Termination
- David Russinoff (AMD):
A Mathematical Approach to RTL
Verification
- Thomas Kropf (Robert Bosch AG):
Software Bugs seen from an
Industrial Perspective; or: Can Formal Methods help on Automotive Software
Development?
Invited Tutorials
- Modeling, Verification, and Synthesis of Component
Interfaces
by Tom Henzinger (EPFL)
- A Tutorial on Satisfiability Modulo Theories
by Natarajan Shankar (SRI) (Slides)
- A JML Tutorial: Modular Specification and Verification of Functional
Behavior for Java
by Gary T. Leavens (Iowa State U.) (Slides)
- Verification of Hybrid Systems
by Martin Fränzle (CvO U Oldenburg) (Slides)
Satellite Events
- FMICS 2007: 12th Intl. Workshop on Formal Methods for Industrial Critical Systems, July 1-2
- SMT 2007 : 5th International Workshop onSatisfiability Modulo Theories, July 1-2
- SMT-COMP: Satisfiability Modulo Theories Competition, in parallel with CAV
- ARTIST WS on tool platforms for modelling, analysis and validation of embedded systems, July 1-2
- PDMC 07: 6th Int. Workshop on Parallel and Distributed Methods in verifiCation, July 8
- invited talk by Gerard Holzmann on Multi-Core Algorithms for Model Checking
with Spin
- AHA 07: International Symposium on Automatic Heap Analysis, July 2
- GVD 2007: 3rd German Verification Day, July 1
- HWMCC'07: Hardware Model Checking Competition
- SPIN 2007: 14th International SPIN Workshop on Model Checking of Software, July 1-3
Proceedings
The proceedings of CAV 2007 (LNCS 4590) are now available. You
can find information about it
here and access the online version
here.
