03087nam 22007335 450 99664786480331620250201115253.09783031787096303178709910.1007/978-3-031-78709-6(CKB)37447637400041(MiAaPQ)EBC31897314(Au-PeEL)EBL31897314(OCoLC)1496394464(DE-He213)978-3-031-78709-6(EXLCZ)993744763740004120250201d2025 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierAutomated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I /edited by S. Akshay, Aina Niemetz, Sriram Sankaranarayanan1st ed. 2025.Cham :Springer Nature Switzerland :Imprint: Springer,2025.1 online resource (605 pages)Lecture Notes in Computer Science,1611-3349 ;150549783031787089 3031787080 The 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. .Lecture Notes in Computer Science,1611-3349 ;15054Software engineeringComputer engineeringComputer networksArtificial intelligenceComputersComputer scienceSoftware EngineeringComputer Engineering and NetworksArtificial IntelligenceComputer HardwareTheory of ComputationSoftware engineering.Computer engineering.Computer networks.Artificial intelligence.Computers.Computer science.Software Engineering.Computer Engineering and Networks.Artificial Intelligence.Computer Hardware.Theory of Computation.005.1Akshay S1785198Niemetz Aina1785199Sankaranarayanan Sriram1380659MiAaPQMiAaPQMiAaPQBOOK996647864803316Automated Technology for Verification and Analysis4316799UNISA