Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part III
Gurfinkel, Arie, Ganesh, Vijay
相關主題
商品描述
This open access book 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.