原创力文档基于SCADE的形式化验证技术研究·71·
基于SCADE的形式化验证技术研究
林枫
(中国商用飞机有限责任公司上海飞机设计研究院综合航电部，上海200235)
摘要：针对软件开发中的一种软件验证技术——形式化验证技术进行研究，分析这种方法的原理和应用
情况，并使用一个实例来说明这种方法在基于模型的软
您可能关注的文档
最近下载
- 2025年高考新高考全国Ⅰ卷英语试题(含听力音频、听力原文和答案).pdf VIP
- 互联网金融概论(中央财经大学)中国大学MOOC慕课章节测验答案.pdf VIP
- 2026《高纯度苯乙烯生产反应工段和提纯工段计算设计》10000字.docx VIP
- 2025《S71200PLC编程及应用技术》试题试卷含答案.docx
- 幼儿园建构活动培训.pptx VIP
- 宝元528A应用手册（风铃素材）.docx VIP
- 互联网金融概论（中央财经大学）中国大学MOOC 慕课章节测验答案.pdf VIP
- 《S71200PLC编程及应用技术》试题试卷含答案.docx VIP
- 第三方支付对商业银行盈利能力的影响——以中国工商银行为例.docx VIP
- 2025欧洲新生儿呼吸窘迫综合征管理共识指南解读.pptx VIP
文档评论（0）