Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
暫譯: 模型檢查軟體：第30屆國際研討會，Spin 2024，盧森堡市，盧森堡，2024年4月8-9日，會議論文集
Neele, Thomas, Wijs, Anton
相關主題
商品描述
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篇投稿中選出。這些論文依主題分為以下幾個部分：模型檢查；周年紀念；自動推理；以及驗證工具。
