Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I

Arie Gurfinkel, Vijay Ganesh (Herausgeber)

Buch | Softcover

XXXIII, 498 Seiten

2024 | 2024
Springer International Publishing (Verlag)
978-3-031-65626-2 (ISBN)

Artikel merken

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24-27, 2024.

The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.

Erscheinungsdatum	27.07.2024
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XXXIII, 498 p. 133 illus., 110 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 • Computer Science • conference proceedings • Informatics • open access • Research
ISBN-10	3-031-65626-1 / 3031656261
ISBN-13	978-3-031-65626-2 / 9783031656262
Zustand	Neuware