互模拟等价关系相关论文
近年来,无限状态系统的验证成为了一个十分热门的研究领域。其中研究的重要问题不仅仅有对系统间等价的判定,还包括对系统和特定有限......
模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于......
模型检测作为一种形式化的自动验证技术,可在设计和开发过程对系统的功能和性能进行分析与验证,从而保证系统在运行过程中的正确性......
在航天器发射工程中,存在组织过程可靠性评估难以量化的问题。基于航天器发射组织过程的时间特性呈现多个子过程并发执行且子过程......