31st International Conference on Computer-Aided Verification, New York City, Vereinigte Staaten

CAV 2019 is the 31st 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; 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; CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as machine learning, autonomous systems, and computer security&#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 is expected to be invited to a special issue of Formal Methods in System Design and the Journal of the ACM&#046;<br>CAV’19 will take place in New York City, USA&#046;<br>Topics of interest include but are not limited to:<br>Algorithms and tools for verifying models and implementations<br>Algorithms and tools for system synthesis<br>Algorithms and tools that combine verification and learning<br>Mathematical and logical foundations of verification and synthesis<br>Specifications and correctness criteria for programs and systems<br>Deductive verification using proof assistants<br>Hardware verification techniques<br>Program analysis and software verification<br>Software synthesis<br>Hybrid systems and embedded systems verification<br>Formal methods for cyber&#8211;physical systems<br>Compositional and abstraction&#8211;based techniques for verification<br>Probabilistic and statistical approaches to verification<br>Verification methods for parallel and concurrent systems<br>Testing and run&#8211;time analysis based on verification technology<br>Decision procedures and solvers for verification and synthesis<br>Applications and case studies in verification and synthesis<br>Verification in industrial practice<br>New application areas for algorithmic verification and synthesis<br>Formal models and methods for security<br>Formal models and methods for biological systems<br>Submissions on a wide range of topics are sought, particularly ones that identify new research directions&#046; CAV 2019 is not limited to topics discussed in previous instances of the conference&#046; Authors concerned about the appropriateness of a topic may communicate with the conference chairs prior to submission&#046;