Computer Aided Verification

Vijay Ganesh

ISBN 10: 3031656261 / ISBN 13: 9783031656262

Published by Springer Nature Switzerland, Springer Nature Switzerland Jul 2024, 2024

About this Item

Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Seller Inventory # 9783031656262

Bibliographic Details

• Title: Computer Aided Verification
• Publisher: Springer Nature Switzerland, Springer Nature Switzerland Jul 2024
• Publication Date: 2024
• Language: English
• ISBN 10: 3031656261
• ISBN 13: 9783031656262
• Binding: Taschenbuch
• Condition: Neu

About this title

Synopsis

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.

From the Back Cover

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.