Verified Software. Theories, Tools and Experiments: 16th International Conference, Vstte 2024, Prague, Czech Republic, October 14-15, 2024, Revised Se
暫譯: 驗證軟體：理論、工具與實驗，第16屆國際會議 VSTTE 2024，捷克共和國布拉格，2024年10月14-15日，修訂版
Protzenko, Jonathan, Raad, Azalea
- 出版商: Springer
- 出版日期: 2025-06-07
- 售價: $2,280
- 貴賓價: 9.5 折 $2,166
- 語言: 英文
- 頁數: 121
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031866940
- ISBN-13: 9783031866944
尚未上市，無法訂購
相關主題
商品描述
This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14-15, 2024.
The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with the interaction of theory development, tool evolution and experimental validation in science and technology of software verification.
商品描述(中文翻譯)
本書為第16屆國際驗證軟體會議（VSTTE 2024）的經過審核的會議論文集，會議於2024年10月14日至15日在捷克共和國布拉格舉行。
本書收錄了6篇完整論文以及1篇邀請論文，這些論文經過仔細審核並選定納入書中。今年會議共收到6篇投稿。這些論文探討了理論發展、工具演進與軟體驗證科學與技術中的實驗驗證之間的互動。
