Automated Technology for Verification and Analysis

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

S. Akshay, Aina Niemetz, Sriram Sankaranarayanan (Herausgeber)

Buch | Softcover

XIV, 266 Seiten

2025
Springer International Publishing (Verlag)
978-3-031-78749-2 (ISBN)

Noch nicht erschienen - erscheint am 24.03.2025
Versandkostenfrei
Auch auf Rechnung

Artikel merken

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.

Erscheint lt. Verlag	24.3.2025
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XIV, 266 p. 66 illus.
Verlagsort	Cham
Sprache	englisch
Original-Titel	Automated Technology for Verification and Analysis
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Schlagworte	automated reasoning • Computer-Aided Verification • Cyber-Physical Systems • formal methods • Formal Verification • Model Checking • program analysis • Safe Artificial Intelligence • Safe Machine Learning • SAT solvers • SMT solvers • Software Analysis • theorem proving
ISBN-10	3-031-78749-8 / 3031787498
ISBN-13	978-3-031-78749-2 / 9783031787492
Zustand	Neuware