|
论文《基于NuSMV的AADL行为模型验证的探究 - 2011嵌入式技术开发论坛》探讨了如何利用NuSMV工具对AADL（架构分析与设计语言）构建的行为模型进行形式化验证。文章提出了一种将AADL模型转换为NuSMV可处理格式的方法，以确保系统设计的正确性和可靠性。研究对于提高嵌入式系统的安全性与稳定性具有重要意义，为后续的系统验证提供了理论支持和实践参考。 文档为pdf格式，0.26MB，总共4页。
- 文件大小:
- 266.24 KB
- 下载次数:
- 60
- 基于NuSMV的AADL行为模型验证的探究 - 2011嵌入式技术开发论坛.pdf
-
高速下载
| 
