Heuristic for Simulation Checking

Abstract

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.

6 Figures and Tables

Cite this paper

@inproceedings{Santone2011HeuristicFS, title={Heuristic for Simulation Checking}, author={Antonella Santone}, year={2011} }