并行验证相关论文
在众多保障软件可靠性和安全性的途径中,采用形式化方法对系统进行形式化验证和分析是被很多计算机科学家所认同的。形式化验证主......
针对数字孪生在飞行试验中的应用问题,对数字孪生的内涵和特点进行研究分析,利用试飞对象行为和性能的映射,完成飞行试验需求开发......
提高验证过程的并行性是提高程序验证效率的重要手段之一。为此，提出一种基于控制结构依赖分析的方法来组织程序的并行验证，在验证过......
