02609nam 22005655 450 991101607350332120250722130239.03-031-98685-710.1007/978-3-031-98685-7(CKB)39713743600041(DE-He213)978-3-031-98685-7(MiAaPQ)EBC32260850(Au-PeEL)EBL32260850(EXLCZ)993971374360004120250722d2025 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierComputer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV /edited by Ruzica Piskac, Zvonimir Rakamarić1st ed. 2025.Cham :Springer Nature Switzerland :Imprint: Springer,2025.1 online resource (XXVI, 422 p. 122 illus., 100 illus. in color.) Lecture Notes in Computer Science,1611-3349 ;159343-031-98684-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 ;15934Artificial 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/edtMiAaPQMiAaPQMiAaPQBOOK9911016073503321Computer Aided Verification4409985UNINA