Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III (Lecture Notes in Computer Science #15933)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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 presented together 24 tool papers, 4 casestudy papers in these proceedings 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.
- Copyright:
- 2025
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783031986826
- Related ISBNs:
- 9783031986819
- Publisher:
- Springer Nature Switzerland
- Date of Addition:
- 07/22/25
- Copyrighted By:
- The Editor
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Ruzica Piskac
- Edited by:
- Zvonimir Rakamarić