哈丁·R·H·。;库尔山，R.P。;Shukla，S.K。;M.Y.瓦尔迪。 使用BDD进行坏循环检测的新启发式算法。 （英语） Zbl 1001.68074号 形式方法系统。设计。 18，第2期，131-140（2001）. 摘要：我们描述了一种新的启发式方法来检测坏循环（不局限于一个或另一个指定的模型状态集内的可达循环），这是模型检查算法的基本操作。这是Emerson-Lei算法标准实现的一个变体，我们的实验数据表明，该算法可以显著加快通过验证的运行速度。我们的结论是，这种启发式方法可以用于通过预期验证结果的“成熟”设计。 引用于7文件 理学硕士： 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：循环检测;坏循环 PDF格式BibTeX公司 XML格式引用 \textit{R.H.Hardin}等人，《形式方法系统》。设计。18，第2号，131--140（2001；Zbl 1001.68074） 全文： 内政部