Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part I

By Vijay Ganesh

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.

• Format: Paperback
• Language: English
• ISBN: 3031656261
• ISBN13: 9783031656262
• Release Date: July 2024
• Publisher: Springer
• Length: 498 Pages
• Weight: 1.63 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"