Computer Aided Verification: 37th International Conference, Cav 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
暫譯: 計算機輔助驗證：第37屆國際會議，CAV 2025，克羅埃西亞札格雷布，2025年7月23-25日，會議論文集，第三部分

Piskac, Ruzica, Rakamaric, Zvonimir

Computer Aided Verification: 37th International Conference, Cav 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
  • 出版商: Springer
  • 出版日期: 2025-07-23
  • 售價: $2,120
  • 貴賓價: 9.5 折 $2,014
  • 語言: 英文
  • 頁數: 428
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031986814
  • ISBN-13: 9783031986819
  • 相關分類: Machine Learning、其他

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

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篇投稿中挑選而出。

接受的論文涵蓋了廣泛的主題，從理論結果到形式方法的應用。這些論文將形式方法應用或擴展到多個領域，如併發性、機器學習和神經網絡、量子系統，以及混合和隨機系統。

類似商品