一种基于Büchi自动机的LTL程序模型检测方法

罗清胜

A Method for Linear Temporal Logic Programs Model Checking Based on Büchi Automaton

LUO Qing-sheng

计算机与现代化 . 2010, (8): 58 -61 . DOI: 10.3969/j.issn.1006-2475.2010.08.017