Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II

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 presented together 24 tool papers, 4 casestudy papers in these proceedings were carefully revie...

Ausführliche Beschreibung

Bibliographische Detailangaben

Format:	E-Book
Sprache:	Englisch
Veröffentlicht:	Cham Springer Nature 2025
Schriftenreihe:	Lecture Notes in Computer Science
Schlagworte:	Applications Artificial intelligence Computer programming / software engineering Computer science Computing and Information Technology Informatics Mathematical theory of computation Software Engineering
ISBN:	3031986784, 9783031986789, 3031986792, 9783031986796
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!