Computer Aided Verification: 38th International Conference, Cav 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I
暫譯: 計算機輔助驗證：第38屆國際會議，CAV 2026，葡萄牙里斯本，2026年7月26日至29日，會議論文集，第一部分

Darulova, Eva, Lin, Anthony W., Rümmer, Philipp

Computer Aided Verification: 38th International Conference, Cav 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I
  • 出版商: Springer
  • 出版日期: 2026-07-24
  • 售價: $2,300
  • 貴賓價: 9.5 折 $2,185
  • 語言: 英文
  • 頁數: 528
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3032325188
  • ISBN-13: 9783032325181
  • 相關分類: Computer-Science

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

相關主題

商品描述

This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.

The 54 full papers, together with 21 short tool papers, and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.

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.

This annual conference is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. This year, CAV was held as part of the Federated Logic Conference (FLoC).

商品描述(中文翻譯)

這套開放存取的三卷本是第38屆國際會議 CAV 2026 的會議紀錄，會議於2026年7月在葡萄牙里斯本舉行。

這54篇完整論文、21篇短工具論文，以及6篇工業經驗報告和案例研究，經過仔細審查和選擇，從319篇投稿中挑選而出。

這些論文將形式方法應用或擴展到多個領域，如並發性、機器學習和神經網絡、量子系統，以及混合和隨機系統。

這個年度會議致力於推進計算機輔助形式分析方法在硬體和軟體系統中的理論與實踐。今年，CAV 作為聯合邏輯會議 (FLoC) 的一部分舉行。

類似商品