Computer Aided Verification: 37th International Conference, Cav 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
暫譯: 計算機輔助驗證：第37屆國際會議，CAV 2025，克羅埃西亞札格雷布，2025年7月23-25日，會議論文集，第二部分
Piskac, Ruzica, Rakamaric, Zvonimir
相關主題
商品描述
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.
商品描述(中文翻譯)
這套開放存取的四卷本是第37屆國際電腦輔助驗證會議（CAV 2025）的會議論文集，會議於2025年7月23日至25日在克羅埃西亞的札格雷布舉行。
這些會議論文中共呈現了51篇常規論文、24篇工具論文和4篇案例研究論文，這些論文經過仔細審查和選擇，來自305篇投稿。
接受的論文涵蓋了廣泛的主題，從理論結果到形式方法的應用。這些論文將形式方法應用或擴展到多個領域，如併發性、機器學習和神經網絡、量子系統，以及混合和隨機系統。
