Overview
CAV 2023 is the 35th 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 machine learning, autonomous systems, and computer security.
Amazon team
-
Artifact evaluation committee member
-
Program committee member
-
Program committee member
-
Artifact evaluation co-chair
-
Program committee member
-
Program committee member
-
Program committee member
-
Program co-chair
-
Steering committee member
-
Program committee member
-
Kenneth McMillanSteering committee member,
Program committee member -
Program committee member
-
Program committee member
-
Program committee member
Related content
-
March 08, 2023This year’s cohort is researching, among other topics, online changepoint detection algorithms and automated reasoning.
-
September 29, 2022Majumdar’s 2003 paper established an elegant algorithm that influences current work on timed games.
-
September 21, 2022Scientists’ paper on probabilistic symbolic execution has significantly influenced software testing and analysis.