LTL公式相关论文
以LTL的语义和可监视的定义为依据,证明了LTL性质的可监视性,得到了φ1∪φ2可监视的几个充分条件,还证明了可监视性在∨,■,○下......
随着网络式软件复杂程度的日益增加,如何确保网络式软件功能和性能的正确性越发重要。根据网络式软件的特点,在RGPS需求元建模框架的......
针对安全协议的形式化验证问题,运用模型检测方法,以一种改进的入侵者Promela语义模型,对双方密钥分配中心协议进行Spin模型检测,......
随着集成电路设计技术的发展,芯片的设计越来越复杂。如何保证设计的功能正确,这是验证工程师所面临的一个严峻问题。由于集成电路规......
在LTL公式和自动机理论的基础上,给出了一种从LTL公式到自动机的转换算法。该算法先简化LTL公式,然后再对简化的LTL公式转换,形成选择......