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

Finkbeiner, Bernd, Kovács, Laura

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, Tacas 2024, Held as Part of the European Joint Confe
  • 出版商: Springer
  • 出版日期: 2024-04-04
  • 售價: $1,980
  • 貴賓價: 9.5 折 $1,881
  • 語言: 英文
  • 頁數: 394
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031572459
  • ISBN-13: 9783031572456
  • 相關分類: Algorithms-data-structures

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

商品描述

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.

The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

商品描述(中文翻譯)

這本開放存取的三卷書籍 LNCS 14570-14573 是第30屆國際工具與演算法建構與分析系統會議（TACAS 2024）的會議論文集，該會議於2024年4月6日至11日在盧森堡舉行，作為2024年歐洲軟體理論與實踐聯合會議（ETAPS 2024）的一部分。

這些會議論文集包含53篇完整論文和16篇短篇SVComp貢獻，這些論文是從159篇投稿中經過仔細審查和選擇出來的。它們被組織成以下主題部分：第一部分：STA和SMT求解；合成；邏輯與可判定性；程式分析與證明；證明檢查；第二部分：模型檢查；自動機與學習；軟體驗證；隨機系統；模擬；第三部分：神經網路；測試與驗證；遊戲；並發性；SV-Comp 2024。

類似商品