论文《基于WCET分析技术的模型检验方法研究》发表于2011年第四届全国网络与信息安全学术会议。该文探讨了如何利用最坏情况执行时间（WCET）分析技术提升模型检验的准确性与效率。通过结合形式化建模与实时性分析，研究提出了一种新的验证方法，用于确保系统在时间约束下的正确运行。该方法在嵌入式系统和实时系统中具有重要应用价值，为提高系统安全性与可靠性提供了理论支持。
举报
