Abbrevation
CAV
Link
http://www.cav2005.inf.ed.ac.uk/
City
Edinburgh
Country
UK
Deadline Paper
Start Date
End Date
Abstract

CAV solicits papers about automated tools and techniques for hardware and software verification, and case studies and performance investigations&#046; <b>Keywords:</b> Algorithms and tools for verifying models and implementations<br>Deductive, compositional, and abstraction techniques for verification<br>Modeling and specification formalisms<br>Program analysis and software verification<br>Testing and runtime analysis based on verification technology<br>Applications and case studies<br>Verification in industrial practice