Automated Technology for Verification and Analysis

23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings

Meenakshi D´Souza, Raghavan Komondoor, B. Srivathsan (Herausgeber)

Buch | Softcover

XV, 474 Seiten

2025
Springer International Publishing (Verlag)
978-3-032-08706-5 (ISBN)

Artikel merken

This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27 31, 2025.

The 17 full papers and 4 short papers included in the proceedings were carefully reviewed and selected from 59 submissions. They were organized in topical sections as follows: Automata and temporal logic; games and controller synthesis; monitoring and runtime verification; probabilistic verification and quantum computing; learning; hybrid and dynamical systems; and verification.

Erscheinungsdatum	26.10.2025
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XV, 474 p. 168 illus., 122 illus. in color.
Verlagsort	Cham
Sprache	englisch
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-032-08706-6 / 3032087066
ISBN-13	978-3-032-08706-5 / 9783032087065
Zustand	Neuware