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...

Full description

Bibliographic Details

Format:	eBook
Language:	English
Published:	Cham Springer Nature 2025
Series:	Lecture Notes in Computer Science
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!