02639nam 22005775 450 99666847230331620250722130301.03-031-98668-710.1007/978-3-031-98668-0(CKB)39698478100041(DE-He213)978-3-031-98668-0(MiAaPQ)EBC32260848(Au-PeEL)EBL32260848(OCoLC)1546971639(EXLCZ)993969847810004120250722d2025 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierComputer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I /edited by Ruzica Piskac, Zvonimir Rakamarić1st ed. 2025.Cham :Springer Nature Switzerland :Imprint: Springer,2025.1 online resource (XXVI, 416 p. 121 illus., 77 illus. in color.) Lecture Notes in Computer Science,1611-3349 ;159313-031-98667-9 This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025. The 51 regular papers presented together 24 tool papers, 4 casestudy papers in these proceedings were carefully reviewed and selected from 305 submissions. The accepted papers cover a wide spectrum of topics, from theoretical results to applications of formal methods. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems, as well as hybrid and stochastic systems. .Lecture Notes in Computer Science,1611-3349 ;15931Artificial intelligenceAlgorithmsSoftware engineeringArtificial IntelligenceDesign and Analysis of AlgorithmsSoftware EngineeringArtificial intelligence.Algorithms.Software engineering.Artificial Intelligence.Design and Analysis of Algorithms.Software Engineering.006.3Piskac Ruzicaedthttp://id.loc.gov/vocabulary/relators/edtRakamarić Zvonimiredthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996668472303316Computer Aided Verification4409985UNISA