CAV 2025

CAV stands for International Conference on Computer Aided Verification. It is the 37th conference in a series dedicated to advancing the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers everything from theoretical results to specific applications, focusing on practical verification tools and the algorithms and techniques required to implement these tools. CAV believes that it is critical to continue to advance the development of hardware and software verification while expanding into new areas such as machine learning, autonomous systems, and computer security. The conference proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series. Some papers are expected to be invited to be published in the special issue of "Formal Methods in System Design" and the "ACM Journal".