Akshay / Sankaranarayanan / Niemetz | Automated Technology for Verification and Analysis | Buch | 978-3-031-78708-9 | sack.de

Buch, Englisch, 304 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 493 g

Reihe: Lecture Notes in Computer Science

Akshay / Sankaranarayanan / Niemetz

Automated Technology for Verification and Analysis

22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Erscheinungsjahr 2025
ISBN: 978-3-031-78708-9
Verlag: Springer Nature Switzerland

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

Buch, Englisch, 304 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 493 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-031-78708-9
Verlag: Springer Nature Switzerland

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. 

Akshay / Sankaranarayanan / Niemetz Automated Technology for Verification and Analysis jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Akshay, S.
Sankaranarayanan, Sriram
Niemetz, Aina

Fachgebiete

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.