LEADER 03088nam  22007335  450 
001 996647863703316
005 20250212115341.0
010   $a9783031787508
010   $a3031787501
024 7 $a10.1007/978-3-031-78750-8
035   $a(CKB)37516010300041
035   $a(MiAaPQ)EBC31903257
035   $a(Au-PeEL)EBL31903257
035   $a(OCoLC)1499719696
035   $a(DE-He213)978-3-031-78750-8
035   $a(EXLCZ)9937516010300041
100   $a20250212d2025      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAutomated Technology for Verification and Analysis $e22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21?25, 2024, Proceedings, Part II /$fedited by S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
205   $a1st ed. 2025.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025.
215   $a1 online resource (507 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15055
311 08$a9783031787492 
311 08$a3031787498 
330   $aThe two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections: Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis. Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification. .
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v15055
606   $aSoftware engineering
606   $aComputer engineering
606   $aComputer networks
606   $aArtificial intelligence
606   $aComputers
606   $aComputer science
606   $aSoftware Engineering
606   $aComputer Engineering and Networks
606   $aArtificial Intelligence
606   $aComputer Hardware
606   $aTheory of Computation
615  0$aSoftware engineering.
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aArtificial intelligence.
615  0$aComputers.
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aComputer Engineering and Networks.
615 24$aArtificial Intelligence.
615 24$aComputer Hardware.
615 24$aTheory of Computation.
676   $a005.1
700   $aAkshay$b S$01785198
701   $aNiemetz$b Aina$01785199
701   $aSankaranarayanan$b Sriram$01380659
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996647863703316
996   $aAutomated Technology for Verification and Analysis$94316799
997   $aUNISA