|
论文《基于WCET分析技术的模型检验方法研究》发表于2011年第四届全国网络与信息安全学术会议。该文探讨了如何利用最坏情况执行时间（WCET）分析技术提升模型检验的准确性与效率。通过结合形式化建模与实时性分析，研究提出了一种新的验证方法，用于确保系统在时间约束下的正确运行。该方法在嵌入式系统和实时系统中具有重要应用价值，为提高系统安全性与可靠性提供了理论支持。 文档为pdf格式，0.4MB，总共6页。
- 文件大小:
- 409.6 KB
- 下载次数:
- 60
- 基于WCET分析技术的模型检验方法研究 - 2011(第四届)全国网络与信息安全学术会议.pdf ...
-
高速下载
| 
