Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, Tacas 2025, Held as Part of the International Joint
暫譯: 系統建構與分析的工具與演算法：第31屆國際會議，TACAS 2025，作為國際聯合會議的一部分

Gurfinkel, Arie, Heule, Marijn

Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, Tacas 2025, Held as Part of the International Joint
  • 出版商: Springer
  • 出版日期: 2025-05-01
  • 售價: $2,140
  • 貴賓價: 9.5 折 $2,033
  • 語言: 英文
  • 頁數: 387
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031906527
  • ISBN-13: 9783031906527
  • 相關分類: Algorithms-data-structures

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

相關主題

商品描述

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada.

The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows:

Part I: Program analysis, ATP and rewriting; model checking; LTL; verification;

Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games;

Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025.

商品描述(中文翻譯)

開放存取書籍集 LNCS 15696、15697 和 15698 是第 31 屆國際工具與演算法建構與分析系統會議（TACAS 2025）的會議論文集，該會議作為 2025 年國際聯合軟體理論與實踐會議（ETAPS 2025）的一部分，於 2025 年 5 月 3 日至 8 日在加拿大漢密爾頓舉行。

所呈現的 46 篇論文經過仔細審查和選擇，從 148 篇投稿中挑選出來。會議論文集還包括 14 篇來自於 TACAS 期間舉行的軟體驗證競賽的論文。這些論文按主題分為以下幾個部分：

第一部分：程式分析、ATP 和重寫；模型檢查；LTL；驗證；

第二部分：SAT 和 SMT 求解；證明和證書；合成；等價檢查；遊戲；

第三部分：驗證；量子和 GPU；第 14 屆軟體驗證競賽，SV-COMP 2025。

類似商品

最後瀏覽商品 (2)