Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings
暫譯: 模型檢查軟體：第26屆國際研討會，Spin 2019，北京，中國，2019年7月15-16日，會議論文集
Biondi, Fabrizio, Given-Wilson, Thomas, Legay, Axel
- 出版商: Springer
- 出版日期: 2019-09-14
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 261
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3030309223
- ISBN-13: 9783030309220
海外代購書籍(需單獨結帳)
商品描述
This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.
The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
商品描述(中文翻譯)
本書是2019年7月在中國北京舉行的第26屆國際軟體模型檢查研討會（SPIN 2019）的經過審稿的會議論文集。
本次會議共呈現了11篇完整論文和2篇工具演示論文，這些論文是從29篇投稿中仔細審核和選出的。涵蓋的主題包括自動化軟體分析的形式驗證技術；針對建模語言（如UML/狀態圖）的形式分析；形式規範語言、時間邏輯、契約設計；模型檢查、自動定理證明，包括SAT和SMT；編譯器的驗證；抽象和符號執行技術；以及更多內容。
