Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal
暫譯: 利用形式方法、驗證與驗證的應用：第九屆國際形式應用研討會
Margaria, Tiziana, Steffen, Bernhard
- 出版商: Springer
- 出版日期: 2020-10-27
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 490
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3030614662
- ISBN-13: 9783030614669
海外代購書籍(需單獨結帳)
相關主題
商品描述
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.
The papers presented were carefully reviewed and selected for inclusion in the proceedings.
Each volume focusses on an individual topic with topical section headings within the volume:
Part I, Verification Principles:
Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems.
Part II, Engineering Principles:
Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems.
Part III, Applications:
Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.
商品描述(中文翻譯)
三卷本的 LNCS 12476 - 12478 是第九屆國際形式方法應用研討會（ISoLA 2020）的經過審核的會議論文集，該研討會原定於 2020 年 10 月 20 日至 30 日在希臘羅德島舉行，但因 COVID-19 疫情而推遲至 2021 年舉行。
所呈現的論文經過仔細審查並選擇納入會議論文集中。
每卷專注於一個特定主題，並在卷內有主題性的小節標題：
**第一部分，驗證原則：**
驗證中的模組化與（去）組合；X-by-Construction：正確性與概率的結合；30 年的統計模型檢查；並發與分佈系統的驗證與驗證。
**第二部分，工程原則：**
自動化軟體重工程；集體自適應系統的嚴謹工程。
**第三部分，應用：**
可靠的智能合約：最新技術、應用、挑戰與未來方向；嵌入式控制軟體的自動化驗證；未來鐵路系統中的分佈式計算的形式方法。
