Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Neele, Thomas, Wijs, Anton
- 出版商: Springer
- 出版日期: 2024-10-03
- 售價: $2,150
- 貴賓價: 9.5 折 $2,043
- 語言: 英文
- 頁數: 258
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031661486
- ISBN-13: 9783031661488
尚未上市，無法訂購
商品描述
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.
The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.
商品描述(中文翻譯)
本書為第30屆國際軟體模型檢查研討會（SPIN 2024）的經過審稿的會議論文集，該會議於2024年4月10日至11日在盧森堡市舉行。
本書收錄的9篇完整論文、3篇短文及2篇邀請論文，均經過仔細審查並從23篇投稿中選出。這些論文依主題分為以下幾個部分：模型檢查；周年紀念；自動推理；以及驗證工具。
