Provably Correct Systems (NASA Monographs in Systems and Software Engineering)
暫譯: 可證明正確的系統（NASA 系統與軟體工程專題論文）
Hinchey, M. (Ed), Bowen, J. P. (Ed), Olderog, E. (Ed)
相關主題
商品描述
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project ‘ProCoS’ (Provably Correct Systems).
The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.
The following topics are covered:
- An historical account of the ProCoS project
- Hybrid Systems
- Correctness of Concurrent Algorithms
- Interfaces and Linking
- Automatic Verification
- Run-time Assertions Checking
- Formal and Semi-Formal Methods
Provably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field.
商品描述(中文翻譯)
隨著電腦越來越多地控制我們日常生活中依賴的系統和服務，如交通、通訊和媒體，確保這些系統正確運作變得至關重要。本書由十二章和一篇歷史回顧組成，這些內容是在2015年於倫敦舉辦的研討會上發表的，標誌著歐洲ESPRIT基礎研究計畫「ProCoS」（可證明正確的系統）25週年。
ProCoS I和II計畫開創並加速了驗證技術的自動化，導致在航空航天、電子、通訊和零售等多個行業和領域中出現了廣泛的應用。
本書涵蓋以下主題：
- ProCoS計畫的歷史回顧
- 混合系統
- 並發演算法的正確性
- 介面與連結
- 自動驗證
- 執行時斷言檢查
- 正式與半正式方法
- 網路支持的科學社群
《可證明正確的系統》為研究人員、設計師和工程師提供了ProCoS倡議的完整概述，包括過去和現在，並探討該領域的當前發展和前景。
