公开(公告)号：KR1020030041446A

公开(公告)日：2003-05-27

申请号：KR1020010072239

申请日：2001-11-20

Applicant: 한국전자통신연구원

Inventor： 신석규 ,  이상덕 ,  정철주

IPC: G06F15/16

Abstract: PURPOSE: A method for checking a bisimulation equivalence based on a game model is provided to check a bisimulation equivalence of a behavior between models of two successive specifications. CONSTITUTION: In a method for checking whether specifications display the same behaviors when the specifications with respect to two concurrent systems are given in a computer system, a bisimulation operation game model of a bisimulation equivalence checking term with a user is implemented, and a bisimulation equivalence checking environment is constructed based on the bisimulation operation game model. A bisimulation equivalence is checked using a branch-and-bound and a random work as a game strategy of a checker on the bisimulation equivalence checking environment.

Abstract translation: 目的：提供一种基于游戏模型检查双模等效性的方法，以检查两个连续规范的模型之间的行为的双模等效性。 规定：在计算机系统中给出相对于两个并发系统的规格的情况下，在检查规格是否显示相同的行为的方法中，实现了与用户的双模等效检查项的双模拟操作游戏模型，并且实现了双模等效 基于双模操作游戏模型构建检查环境。 使用分支绑定和随机工作来检查双模拟等价物作为二进制等价检查环境下的检验器的游戏策略。