LEADER 02640nam  22005775  450 
001 996668470903316
005 20250721130909.0
010   $a3-031-98679-2
024 7 $a10.1007/978-3-031-98679-6
035   $a(CKB)39698087900041
035   $a(DE-He213)978-3-031-98679-6
035   $a(MiAaPQ)EBC32260847
035   $a(Au-PeEL)EBL32260847
035   $a(OCoLC)1535966340
035   $a(EXLCZ)9939698087900041
100   $a20250721d2025      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aComputer Aided Verification $e37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II /$fedited by Ruzica Piskac, Zvonimir Rakamari?
205   $a1st ed. 2025.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025.
215   $a1 online resource (XXVI, 426 p. 126 illus., 97 illus. in color.) 
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15932
311 08$a3-031-98678-4 
330   $aThis 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. .
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v15932
606   $aArtificial intelligence
606   $aAlgorithms
606   $aSoftware engineering
606   $aArtificial Intelligence
606   $aDesign and Analysis of Algorithms
606   $aSoftware Engineering
615  0$aArtificial intelligence.
615  0$aAlgorithms.
615  0$aSoftware engineering.
615 14$aArtificial Intelligence.
615 24$aDesign and Analysis of Algorithms.
615 24$aSoftware Engineering.
676   $a006.3
702   $aPiskac$b Ruzica$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRakamari?$b Zvonimir$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996668470903316
996   $aComputer Aided Verification$94409985
997   $aUNISA