描述
分布式与开放系统的形式化规范与描述技术综述。验证技术。正确性证明。分布式系统一般性质的验证。分析与缓解策略。测试技术。测试生成策略。测试体系结构。
原文参考文本
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/