02645nam 22005775 450 991101596700332120250722130241.03-031-98682-210.1007/978-3-031-98682-6(CKB)39713472600041(DE-He213)978-3-031-98682-6(MiAaPQ)EBC32260852(Au-PeEL)EBL32260852(OCoLC)1535966340(EXLCZ)993971347260004120250722d2025 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierComputer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III /edited by Ruzica Piskac, Zvonimir Rakamarić1st ed. 2025.Cham :Springer Nature Switzerland :Imprint: Springer,2025.1 online resource (XXVII, 428 p. 189 illus., 136 illus. in color.) Lecture Notes in Computer Science,1611-3349 ;159333-031-98681-4 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 ;15933Artificial 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/edtMiAaPQMiAaPQMiAaPQBOOK9911015967003321Computer Aided Verification4409985UNINA