Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
Published on 25. July 2024
Book
Paperback/Softback
XXV, 430 pages
978-3-031-65629-3 (ISBN)
Description
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.
More details
Series
Edition
2024 ed.
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
32 s/w Abbildungen, 95 farbige Abbildungen
XXV, 430 p. 127 illus., 95 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 25 mm
Weight
686 gr
ISBN-13
978-3-031-65629-3 (9783031656293)
DOI
10.1007/978-3-031-65630-9
Schweitzer Classification