Heuristic for Simulation Checking
Antonella Santone · 2011
Equivalence checking is a common problem in formal software design. It is the process of determining whether two systems are equivalent to each other according to some mathematically defined notion of equivalence. In this paper to improve efficiency we present a procedure, based on heuristic searches, for checking the well-know simulation relation defined by Milner. We use heuristic mechanisms for the exploration of the search space, in order to avoid the construction of the complete state graph.