ISBN: 9783031787492 - automated technology for verification and analysis: 22nd international symposium, atva 2024, kyoto, japan, october 21–25, 2024, proceedings, part ii (lecture notes in computer science, band 15055) (2 Ergebnisse)

Taschenbuch. Zustand: Neu. Automated Technology for Verification and Analysis | 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II | S. Akshay (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2025 | Springer | EAN 9783031787492 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 volumesare 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. …