Computer Aided Verification, Berlin, Deutschland

CAV’07 is the 19th in a series dedicated to the advancement of the theory and practice of computer&#8211;aided formal analysis methods for hardware and software systems&#046; CAV considers it vital to continue its leadership in hardware verification, and maintain its recent momentum in software verification&#046; 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&#046; The proceedings of the conference will be published in the Springer&#8211;Verlag Lecture Notes in Computer Science series&#046; A selection of papers will be invited to a special issue of the International Journal on FormalMethods and System Design&#046;<br><b>Keywords:</b> • Algorithms and tools for verifying models and implementations<br>• Hardware verification techniques<br>• Hybrid systems and embedded systems verification<br>• Program analysis and software verification<br>• Modeling and specification formalisms<br>• Deductive, compositional, and abstraction techniques for verification<br>• Testing and runtime analysis based on verification technology<br>• Applications and case studies<br>• Verification in industrial practice<br>