模型检测是针对有限状态系统行为的逻辑性质的一种自动验证技术,简洁明了和自动化程度高,在生产实践中得到了广泛的应用,其主要缺......

ＬＰＴＬ与自动机之间有着紧密的联系，结合ＬＰＴＬ语义和语法，提出一种从ＬＰＴＬ公式导出Ｂｕｃｈｉ自动机的方法。导出的Ｂｕｃｈｉ自动机所接受的语言准确地表达了ＬＰＴＬ公式所描述的......