LTL公式相关论文
针对安全协议的形式化验证问题,运用模型检测方法,以一种改进的入侵者Promela语义模型,对双方密钥分配中心协议进行Spin模型检测,......
随着集成电路设计技术的发展，芯片的设计越来越复杂。如何保证设计的功能正确，这是验证工程师所面临的一个严峻问题。由于集成电路规......
在LTL公式和自动机理论的基础上，给出了一种从LTL公式到自动机的转换算法。该算法先简化LTL公式，然后再对简化的LTL公式转换，形成选择......
