基于惰性切片的线性时态逻辑性质验证
, 王静Lazy slicing based method for verifying linear temporal logic property
HUANG Hong-tao1 , WANG Jing2 , YE Hai-zhi1 , HUANG Shao-bin3
, WANG Jing
基于惰性切片的线性时态逻辑性质验证 |
|
黄宏涛, 王静 |
Lazy slicing based method for verifying linear temporal logic property |
|
HUANG Hong-tao
, WANG Jing |
| Ko 对应的状态迁移系统 |
| |