Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

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. 

Product details

• Assisted by: S Akshay (Editor), S. Akshay (Editor), Aina Niemetz (Editor), Sriram Sankaranarayanan (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 13.02.2025
• EAN: 9783031787089
• ISBN: 978-3-0-3178708-9
• No. of pages: 304
• Dimensions: 155 mm x 17 mm x 235 mm
• Weight: 493 g
• Illustrations: XX, 304 p. 64 illus., 39 illus. in color.
• Series: Lecture Notes in Computer Science
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; Künstliche Intelligenz, Computerhardware, Software Engineering, Artificial Intelligence, Theoretische Informatik, computer hardware, Theory of Computation, Cyber-Physical Systems, Computer Engineering and Networks, Theorem Proving, model checking, formal verification, formal methods, program analysis, automated reasoning, SAT solvers, Computer-Aided Verification, Safe Artificial Intelligence, software analysis, SMT solvers, Safe Machine Learning