Saving Space in a Time Efficient Simulation Algorithm
Silvia Crafà, Francesco Ranzato, Francesco Tapparo · Fundamenta Informaticae · 2011
A number of algorithms for computing the simulation preorder on Kripke structures and on labelled transition systems are available. Among them, the algorithm by Ranzato and Tapparo [2007] has the best time complexity,while the algorithm by Gentilini