Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I
Published on 26. July 2024
Book
Paperback/Softback
XXXIII, 498 pages
978-3-031-65626-2 (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
23 s/w Abbildungen, 110 farbige Abbildungen
XXXIII, 498 p. 133 illus., 110 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 29 mm
Weight
797 gr
ISBN-13
978-3-031-65626-2 (9783031656262)
DOI
10.1007/978-3-031-65627-9
Schweitzer Classification