Verification, Model Checking, and Abstract Interpretation: 25th International Conference, Vmcai 2024, London, United Kingdom, January 15-16, 2024, Pro (驗證、模型檢查與抽象解釋：第25屆國際會議 Vmcai 2024，英國倫敦，2024年1月15-16日，專刊)
Dimitrova, Rayna, Lahav, Ori, Wolff, Sebastian
- 出版商: Springer
- 出版日期: 2024-01-03
- 售價: $3,160
- 貴賓價: 9.5 折 $3,002
- 語言: 英文
- 頁數: 352
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031505239
- ISBN-13: 9783031505232
海外代購書籍(需單獨結帳)
相關主題
商品描述
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024.
The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows: Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning; Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy.
The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows: Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning; Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy.
商品描述(中文翻譯)
這兩卷的 LNCS 14499 和 14500 是第 25 屆國際驗證、模型檢查與抽象解釋會議（VMCAI 2024）的會議論文集，該會議於 2024 年 1 月在加拿大安大略省倫敦舉行。會議論文集中發表的 30 篇完整論文是從 74 篇投稿中精心審核和選出的。這些論文被組織成以下主題部分：第一部分：抽象解釋；無限狀態系統；模型檢查與合成；SAT、SMT 和自動推理；第二部分：並發性；神經網絡；概率和量子程序；程序和系統驗證；運行時驗證；安全性和隱私。
