本文主要研究了域自动机方法、带自动机方法以及基于历史等价和转换互模拟的最小化方法。
In this paper, we research region automata, zone automata and the method of state space minimization based on history equivalence and bisimulation transition.
在等价验证中，通常选择互模拟作为等价关系。
Bisimulation is often chosen as the equivalence relation in equivalence checking.
应用推荐