13 July 2019, 31st International Conference on Computer-Aided Verification, New York City NY, U.S.A.

CAV 2019 is the 31st in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. 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. 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.

CAV 2019 includes the following workshops:

• BeMC: The Best of Model Checking (BeMC) — workshop in honor of Orna Grumberg
• DARS: Design and Analysis of Robust Systems
• VMW: Verification Mentoring Workshop
• NSV: Numerical Software Verification
• VSTTE: Verified Software: Theories, Tools, and Experiments
• Democratizing Software Verification
• FoMLAS: Formal Methods for ML-Enabled Autonomous Systems
• SYNT: Synthesis