【摘要】 对B櫣chi自动机进行优化是提高基于自动机的模型检测效率的重要手段。本文对直接模拟关系,延迟模拟关系和公平模拟关系的概念,算法进行了比较,并探讨了基于这些模拟关系的自动机优化方法。最后对未来的研究方向作了简要的介绍。更多还原

【Abstract】 Optimizing Büchi automata is an important step in efficient model checking for linear-time specification. In this paper we compare among three notions of simulation: direct, delay, and fair. We study simulation relations as a tool for minimizing automata. Finally, some research directions for future work are also discussed.更多还原