基于WCET分析技术的模型检验方法研究 - 2011(第四届)全国网络与信息安全学术会议.pdf
<p>论文《基于WCET分析技术的模型检验方法研究》发表于2011年第四届全国网络与信息安全学术会议。该文探讨了如何利用最坏情况执行时间（WCET）分析技术提升模型检验的准确性与效率。通过结合形式化建模与实时性分析，研究提出了一种新的验证方法，用于确保系统在时间约束下的正确运行。该方法在嵌入式系统和实时系统中具有重要应用价值，为提高系统安全性与可靠性提供了理论支持。</p>文档为pdf格式，0.4MB，总共6页。</br>
<img src="https://d.z3060.com/docthumbnail/202512/14/zn20l1qrbhz.webp" title="基于WCET分析技术的模型检验方法研究 - 2011(第四届)全国网络与信息安全学术会议" alt="基于WCET分析技术的模型检验方法研究 - 2011(第四届)全国网络与信息安全学术会议">
页:
[1]