Automated 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 Sankaranarayanan

• Autore: Akshay S
• Pubblicazione: Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025
• Edizione: 1st ed. 2025.
• Descrizione fisica: 1 online resource (605 pages)
• Disciplina: 005.1
• Soggetto topico: Software engineering; Computer engineering; Computer networks; Artificial intelligence; Computers; Computer science; Software Engineering; Computer Engineering and Networks; Artificial Intelligence; Computer Hardware; Theory of Computation
• Altri autori: NiemetzAina SankaranarayananSriram
• Sommario/riassunto: 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. .
• Titolo autorizzato: Automated Technology for Verification and Analysis
• ISBN: 9783031787096; 3031787099
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910983344003321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture Notes in Computer Science, . 1611-3349 ; ; 15054