Custom cover image
Custom cover image

Computer aided verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings : Part I / Ruzica Piskac, Zvonimir Rakamarić, editors

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture notes in computer science ; 15931Publisher: Cham : Springer, 2025Description: 1 Online-Ressource (xxvi, 416 pages) : illustrations (some color)ISBN:
  • 9783031986680
Other title:
  • CAV 2025
Subject(s): Additional physical formats: Erscheint auch als: 3031986679 DDC classification:
  • 005.1 23/eng/20250731
LOC classification:
  • QA76.758
Online resources: Summary: 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 systemsPPN: PPN: 1938175093Package identifier: Produktsigel: ZDB-94-OAB
No physical items for this record

Open access

Barrierefreier Inhalt: PDF/UA-1. Table of contents navigation. Single logical reading order. Short alternative textual descriptions. Use of color is not sole means of conveying information. Use of high contrast between text and background color. Next / Previous structural navigation. All non-decorative content supports reading without sight.

Anmerkungen zur Barrierefreiheit: This PDF has been created in accordance with the PDF/UA-1 standard to enhance accessibility, including screen reader support, described non-text content (images, graphs), bookmarks for easy navigation, keyboard-friendly links and forms and searchable, selectable text. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us at accessibilitysupport@springernature.com. Please note that a more accessible version of this eBook is available as ePub. No reading system accessibility options actively disabled. Publisher contact for further accessibility information: accessibilitysupport@springernature.com.

KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT