基于惰性切片的线性时态逻辑性质验证
黄宏涛1, 王静2, 叶海智1, 黄少滨3

Lazy slicing based method for verifying linear temporal logic property
HUANG Hong-tao1, WANG Jing2, YE Hai-zhi1, HUANG Shao-bin3
对应的非确定性Büchi自动机