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. 

Dettagli sul prodotto

• Con la collaborazione di: S Akshay (Editore), S. Akshay (Editore), Aina Niemetz (Editore), Sriram Sankaranarayanan (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 13.02.2025
• EAN: 9783031787089
• ISBN: 978-3-0-3178708-9
• Pagine: 304
• Dimensioni: 155 mm x 17 mm x 235 mm
• Peso: 493 g
• Illustrazioni: XX, 304 p. 64 illus., 39 illus. in color.
• Serie: Lecture Notes in Computer Science
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica; 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