Reference

[BogdollHZ09] Bogdoll, J.; Hermanns, H. and Zhang, L. FlowSim Simulation Benchmarking Platform. In QEST, pages 211-212, Springer, 2009.
Downloads: pdf, bibAbstract. Probabilistic model checking has emerged as a versatile systemverification approach, but is frequently facing state-space explosionproblems. One promising attack to this is to construct an abstract modelwhich simulates the original model, and to perform model checkingon that abstract model. Recently, efficient algorithms and optimizationsfor deciding simulation of probabilistic models have been proposed, whichreduces the theoretical complexity bounds of existing algorithmdrastically. In this paper we present a tool to compare the performanceof these approaches for deciding the simulation preorder of probabilisticmodels.