Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
Author:   Ruzica Piskac ,  Zvonimir Rakamarić
Publisher:   Springer International Publishing AG
Volume:   15934
ISBN:  

9783031986840


Pages:   422
Publication Date:   23 July 2025
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $90.54 Quantity:  
Add to Cart

Share |

Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV


Overview

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025. The 51 regular papers are presented, together with 24 tool papers and 4 case-study papers, were carefully reviewed and selected from 305 submissions. The accepted papers cover a wide spectrum of topics, from theoretical results to applications of formal methods. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems, as well as hybrid and stochastic systems. 

Full Product Details

Author:   Ruzica Piskac ,  Zvonimir Rakamarić
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Volume:   15934
ISBN:  

9783031986840


ISBN 10:   3031986849
Pages:   422
Publication Date:   23 July 2025
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.
Language:   English

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

RGFEB26

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now