基于启发式SCCs的广义Büchi自动机判空检测算法.pdfVIP

第 期 电 子 学 报 １ Ｖｏｌ．４０ Ｎｏ．１ 年 月 ２０１２ １ ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｊａｎ． ２０１２ 基于启发式 ＳＣＣｓ的广义 Ｂüｃｈｉ 自动机判空检测算法 王 曦，徐中伟 （同济大学电子与信息工程学院，上海 ２０１８０４） 摘 要： 基于自动机理论模型检测的一个关键算法是判断有穷状态系统是否满足属性的判空检测 对标准 ． 自动机作判空检测，容易引起状态爆炸 本文以