广义Büchi自动机相关论文
形式化验证是用严格的数学方法来证明系统设计是否满足规约的验证方法。近几年来基于模型检测的形式化验证工具的使用范围不断扩大......
以广义Büchi自动机为研究对象,对其作判空检测能为解决系统的状态空间爆炸问题提供有效途径.但广义Büchi自动机难以适用于安全苛......
