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

Vojnar, Tomas, Zhang, Lijun

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, Tacas 2019, Held as Part of the European Joint Confe
  • 出版商: Springer
  • 出版日期: 2019-04-04
  • 售價: $2,610
  • 貴賓價: 9.5 折 $2,480
  • 語言: 英文
  • 頁數: 413
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3030174646
  • ISBN-13: 9783030174644
  • 相關分類: Algorithms-data-structures

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

相關主題

商品描述

This book is Open Access under a CC BY licence.

The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.

The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows:

Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.

Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.


商品描述(中文翻譯)

這本書是根據 CC BY 授權的開放存取書籍。

LNCS 11427 和 11428 論文集是第 25 屆國際工具與演算法建構與分析系統會議（TACAS 2019）的論文集，該會議於 2019 年 4 月在捷克共和國布拉格舉行，並作為 2019 年歐洲軟體理論與實踐聯合會議（ETAPS 2019）的一部分。

這些卷中共呈現了 42 篇完整論文和 8 篇短篇工具演示論文，這些論文經過仔細審查和選擇，從 164 篇投稿中挑選出來。論文按主題部分組織如下：

第一部分：SAT 和 SMT，SAT 求解和定理證明；驗證和分析；模型檢查；工具演示；以及機器學習。

第二部分：並發和分散式系統；監控和執行時驗證；混合和隨機系統；合成；符號驗證；以及安全和容錯系統。

類似商品

最後瀏覽商品 (19)