Neu Erschienen: 01.02.2025

Akshay / Niemetz / Sankaranarayanan

Automated Technology for Verification and Analysis

22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I

lieferbar, ca. 10 Tage

Rezensionen ansehen

Standardpreis

139,09 €

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

auch verfügbar als eBook (PDF) für 139,09 €

Fachbuch

Buch. Softcover

2025

xx, 304 S. 25 s/w-Abbildungen, 39 Farbabbildungen, Bibliographien.

In englischer Sprache

Springer. ISBN 978-3-031-78708-9

Format (B x L): 15,5 x 23,5 cm

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 15054

Produktbeschreibung

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.