Computer Aided Verification

37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III

Ruzica Piskac, Zvonimir Rakamarić (Herausgeber)

Buch | Softcover

XXVII, 428 Seiten

2025
Springer International Publishing (Verlag)
978-3-031-98681-9 (ISBN)

Artikel merken

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.

The 51 regular papers are presented, together with 24 tool papers and 4 case-study papers, were carefully reviewed and selected from 305 submissions.

The accepted papers cover a wide spectrum of topics, from theoretical results to applications of formal methods. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems, as well as hybrid and stochastic systems.

Erscheinungsdatum	20.07.2025
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XXVII, 428 p. 189 illus., 136 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Schlagworte	Applications • automated reasoning • Computer Science • Concurrency • conference proceedings • Informatics • Markov decision process • Model Checking • open access • Probabilistic Reasoning • Quantum Computing • Research • runtime verification • verification
ISBN-10	3-031-98681-4 / 3031986814
ISBN-13	978-3-031-98681-9 / 9783031986819
Zustand	Neuware