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

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. 

Résumé

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. 

Détails du produit

• Collaboration: Ruzica Piskac (Editeur), Rakamaric (Editeur), Zvonimir Rakamaric (Editeur), Zvonimir Rakamarić (Editeur)
• Edition: Springer, Berlin
• Titre original: Computer Aided Verification
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 16.08.2025
• EAN: 9783031986840
• ISBN: 978-3-0-3198684-0
• Pages: 422
• Illustrations: XXVI, 422 p. 122 illus., 100 illus. in color.
• Thème: Lecture Notes in Computer Science
• Catégories: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique; Software Engineering, Research, Applications, Artificial Intelligence, Open Access, Theoretische Informatik, computer science, Design and Analysis of Algorithms, Informatics, conference proceedings