Verification, Model Checking, and Abstract Interpretation: 27th International Conference, Vmcai 2026, Rennes, France, January 12-13, 2026, Proceedings
暫譯: 驗證、模型檢查與抽象解釋：第27屆國際會議 Vmcai 2026，法國雷恩，2026年1月12-13日，會議論文集
Chen, Yu-Fang, Jensen, Thomas, Lengál, Ondřej
- 出版商: Springer
- 出版日期: 2026-01-13
- 售價: $3,550
- 貴賓價: 9.5 折 $3,373
- 語言: 英文
- 頁數: 412
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3032156998
- ISBN-13: 9783032156990
-
相關分類:
Algorithms-data-structures
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.
The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation, fostering interaction, cross-fertilization, and advancement of hybrid methods that combine these and related approaches.
商品描述(中文翻譯)
本書為第27屆國際驗證、模型檢查與抽象解釋會議（VMCAI 2026）的會議紀錄，該會議於2026年1月12日至13日在法國雷恩舉行。
會議紀錄中發表的18篇完整論文經過仔細審查和選擇，來自54篇投稿。這些論文涉及形式驗證、模型檢查、抽象解釋、促進互動、交叉授粉，以及結合這些及相關方法的混合方法的進展。
