Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I / / edited by Ruzica Piskac, Zvonimir Rakamarić
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I / / edited by Ruzica Piskac, Zvonimir Rakamarić
|
| Pubblicazione: | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Edizione: | 1st ed. 2025. |
| Descrizione fisica: | 1 online resource (XXVI, 416 p. 121 illus., 77 illus. in color.) |
| Disciplina: | 006.3 |
| Soggetto topico: | Artificial intelligence |
| Algorithms | |
| Software engineering | |
| Artificial Intelligence | |
| Design and Analysis of Algorithms | |
| Software Engineering | |
| Persona (resp. second.): | PiskacRuzica |
| RakamarićZvonimir | |
| Sommario/riassunto: | 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. . |
| Titolo autorizzato: | Computer Aided Verification |
| ISBN: | 3-031-98668-7 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996668472303316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 1611-3349 ; ; 15931