Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Buch
- 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
- Herausgeber:
- S. Akshay, Sriram Sankaranarayanan, Aina Niemetz
- Verlag:
- Springer Nature Switzerland, 02/2025
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783031787089
- Artikelnummer:
- 12178989
- Umfang:
- 324 Seiten
- Gewicht:
- 493 g
- Maße:
- 235 x 155 mm
- Stärke:
- 18 mm
- Artikelnummer:
- 12178989
- Erscheinungstermin:
- 1.2.2025
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von Automated Technology for Verification and Analysis |
Preis |
|---|---|
| Buch, Kartoniert / Broschiert, Englisch | EUR 164,28* |
Klappentext
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.
