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

Junges, Sebastian, Katz, Guy

Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, Tacas 2026, Held as Part of the International Joint
  • 出版商: Springer
  • 出版日期: 2026-04-17
  • 售價: $2,300
  • 貴賓價: 9.5 折 $2,185
  • 語言: 英文
  • 頁數: 682
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3032227518
  • ISBN-13: 9783032227515
  • 相關分類: 軟體工程

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

相關主題

商品描述

The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026.

The 52 full papers, 4 short papers and 16 SV-COMP papers included in the proceedings were carefully reviewed and selected from 177 submissions. They were organized in topical sections as follows:

Part I: SAT/SMT; Proofs and QUantified Elimination; Automata; Verification of Probabilistic Systems; Cyber-Physical Systems;

Part II: Software Verification; Program Verification; Java Analysis; Hardware Verification and Model Checking; Quantum; SV-COMP.

商品描述(中文翻譯)

開放存取書籍集 LNCS 16505 + 16506 是第32屆國際工具與演算法建構與分析系統會議（TACAS 2026）的會議論文集，該會議於2026年4月11日至16日在義大利都靈舉行，作為國際聯合會議軟體理論與實務（ETAPS 2026）的一部分。

會議論文集包含52篇完整論文、4篇短文和16篇SV-COMP論文，這些論文經過仔細審查和選擇，從177篇投稿中挑選出來。論文依主題分為以下幾個部分：

第一部分：SAT/SMT；證明與量化消除；自動機；隨機系統的驗證；網路物理系統；

第二部分：軟體驗證；程式驗證；Java分析；硬體驗證與模型檢查；量子；SV-COMP。

類似商品