MSc Project: Simulation testing: an empirical study
The simulation relation between state transition systems is of fundamental importance in various areas
of computer science. For example, they model the situation in which one associated system refines the other
system. Various algorithms have been developed to test the existence of simulations.
The goal of this project is to implement at least two such algorithms and compare their efficiency.
First information on simulations and bisimulations can be found at
Wikipedia on bisimulation and
Wikipedia on simulation preorder.