TY  - BOOK
AU  - Akshay,S.
AU  - Niemetz,Aina
AU  - Sankaranarayanan,Sriram
ED  - ATVA (Symposium)
TI  - Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings
T2  - Lecture Notes in Computer Science
SN  - 9783031787508
AV  - QA76.9.A96 
U1  - 004.01/5113 23/eng/20250219
PY  - 2025///
CY  - Cham
PB  - Springer
KW  - Automatic theorem proving
KW  - Congresses
KW  - Théorèmes
KW  - Démonstration automatique
KW  - Congrès
N1  - Includes author index
N2  - 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.
UR  - https://link.springer.com/10.1007/978-3-031-78750-8
ER  -