左右语言相关论文
对Büchi自动机进行优化是提高基于自动机的模型检测效率的重要手段。对直接模拟关系、延迟模拟关系和公平模拟关系的概念,进行了......
基于左右语言的优化是完全基于自动机理论的优化方法。所谓左语言是指从初始状态到指定状态的语言，而右语言是指从指定状态到接受状......
形式化验证是用严格的数学方法来证明系统设计是否满足规约的验证方法。近几年来基于模型检测的形式化验证工具的使用范围不断扩大......
