NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Robust Software Engineering Researchers Organized International Conference on Computer-Aided Verification (CAV 2015)
Intelligent Systems Division Banner

Robust Software Engineering Researchers Organized International Conference on Computer-Aided Verification (CAV 2015)

Robust Software Engineering researchers Corina Pasareanu (Program Chair) and Temesghen Kahsai (Local Chair), together with Daniel Kroening (University of Oxford, Program Co-Chair) and Dirk Beyer (University of Passau, Workshop Chair) organized the 27th International Conference on Computer Aided Verification (CAV 2015). The conference took place from July 18-24 in San Francisco, California, and had a record number of participants, with more than 380 registrants. CAV 2015 featured five invited speakers (including Turing award-winner Leslie Lamport); 59 long presentations; 11 short presentations, with posters; three competitions (Science/Math/Technology and two synthesis); seven workshops; a new Artifact Evaluation, and the CAV award ceremony (given for Turing award-winners Ed Clarke, Orna Grumberg, Ronald H. Hardin, Somesh Jha, Robert P. Kurshan, Yuan Lu, Helmut Veith, and Zvi Harel for localization reduction and CounterExample-Guided Abstraction Refinement - CEGAR). The conference had a very strong presence from industry (NASA, Google, Amazon, Siemens, Synopsis, Facebook, Cadence, etc.) and also featured a book stand from Springer.

BACKGROUND: CAV 2015 was the 27th in a series of conferences dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covered the CAV spectrum, from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques 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. The proceedings of the conference are published in the Springer-Verlag Lecture Notes in the Computer Science series. More information can be found on the CAV 2015 website:

CAV 2015

PROGRAM FUNDING: Safe Autonomous Systems Operations (SASO) project, Airspace Operations and Safety Program (AOSP), Aeronautics Research Mission Directorate (ARMD)

POC: Corina Pasareanu, corina.s.pasareanu@nasa.gov

First Gov logo
NASA Logo - nasa.gov