20th International Conference on Computer Aided Verification, PrincetonNJ, Vereinigte Staaten

<P>CAV 2008 is the 20th 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, maintain its recent momentum in software verification, and consider new domains such as biological systems&#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 Formal Methods and System Design&#046;</P> <P><STRONG>Keywords:</STRONG> * 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> * Formal methods for biological systems (new this year)<BR></P> <P class=text> </P>