課程說明
分散式與開放系統之正式規格與描述技術回顧。驗證技術。正確性證明。分散式系統之一般性質驗證。分析與緩解策略。測試技術。測試產生策略。測試架構。
原文參考文本
Review of formal specification and description techniques for distributed and open systems. Verification techniques. Correctness proofs. Verification of general properties of distributed systems. Analysis and relief strategies. Testing techniques. Test generation strategies. Test architectures.
來源與參考
保留日期與來源以協助你核實資料。為便於閱讀提供譯文；官方來源為條件與要求的參照。
來源參考 : https://calendar.carleton.ca/grad/courses/COMP/