针对确定性系统的路径反例(path-like counterexample)，提出了步进式的BFL算法，用于降低BFL算法的空间开销。BFL空间开销过大，其根本原因在于，BFL需要将状态迁移关系进行完全展开。
基于16个网页-相关网页
path-like counterexample
就反例
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动