26th International Conference on Computer Aided Verification, Wien, Österreich

<pre>CAV 2014 is the 26th 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; As part of the Federated Logic Conference (FloC) and the Vienna Summer of Logic (vsl2014&#046;at), CAV14 will be collocated with many other conferences in logic&#046; CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security&#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 Formal Methods in System Design and the Journal of the ACM&#046;<br>Topics of interest include but are not limited to:<br>Algorithms and tools for verifying models and implementations<br>Hardware verification techniques<br>Deductive, compositional, and abstraction techniques for verification<br>Program analysis and software verification<br>Verification methods for parallel and concurrent hardware/software systems<br>Testing and runtime analysis based on verification technology<br>Applications and case studies in verification<br>Decision procedures and solvers for verification<br>Mathematical and logical foundations of practical verification tools<br>Verification in industrial practice<br>Algorithms and tools for system synthesis<br>Hybrid systems and embedded systems verification<br>Verification techniques for security<br>Formal models and methods for biological systems<br></pre>