The conference on Computer Aided Verification (CAV), 2012, is the 24th<br>in a series dedicated to the advancement of the theory and practice of<br>computer–aided formal analysis methods for hardware and software<br>systems. CAV considers it vital to continue spurring advances in<br>hardware and software verification while expanding to new domains such<br>as biological systems and computer security. The conference covers the<br>spectrum from theoretical results to concrete applications, with an<br>emphasis on practical verification tools and the algorithms and<br>techniques that are needed for their implementation. The proceedings<br>of the conference will be published in the Springer–Verlag Lecture<br>Notes in Computer Science series. A selection of papers will be<br>invited to a special issue of Formal Methods in System Design and the<br>Journal of the ACM.<br>Topics of interest include:<br>– Algorithms and tools for verifying models and implementations<br>– Hardware verification techniques<br>– Hybrid systems and embedded systems verification<br>– Deductive, compositional, and abstraction techniques for verification<br>– Program analysis and software verification<br>– Testing and runtime analysis based on verification technology<br>– Verification methods for parallel and concurrent hardware/software systems<br>– Applications and case studies in verification<br>– Verification in industrial practice<br>– Algorithms and tools for system synthesis<br>– Verification techniques for security<br>– Formal models and methods for biological systems<br>
Abbrevation
CAV
City
Berkeley
Country
United States
Deadline Paper
Start Date
End Date
Abstract