ON AUTOMATICALLY EXPLAINING BISIMULATION INEQUIVALENCE
ON AUTOMATICALLY EXPLAINING BISIMULATION INEQUIVALENCE
复制标题
DOI：
10.1007/bfb0023750
复制
发表时间：
1991-01-01
期刊：
影响因子：
--
通讯作者：
CLEAVELAND, R
中科院分区：
文献类型：
--
作者：
CLEAVELAND, R
本文描述了一种生成区分两个互模拟不等价有限状态系统的逻辑公式的技术。该方法与分区细化算法结合使用，用于计算互模拟等价，并产生在精确定义的意义上通常是最小的公式。
This paper describes a technique for generating a logical formula that differentiates between two bisimulation-inequivalent finite-state systems. The method works in conjunction with a partition-refinement algorithm for computing bisimulation equivalence and yields formulas that are often minimal in a precisely defined sense.