计算机与现代化Issue(8)：58-61,4.DOI:10.3969/j.issn.1006-2475.2010.08.017
一种基于Büchi自动机的LTL程序模型检测方法
A Method for Linear Temporal Logic Programs Model Checking Based on Büchi Automaton
罗清胜1
作者信息
- 1. 江西财经大学国际学院,江西,南昌,330013
- 折叠
摘要
关键词
线性时序逻辑/Büchi自动机/模型检测分类
计算机与自动化引用本文复制引用
罗清胜..一种基于Büchi自动机的LTL程序模型检测方法[J].计算机与现代化,2010,(8):58-61,4.
