FlowSim

 

Subproject

S3

Categories

Core algorithms

Overview

FlowSim is used to measure the resources needed to find the maximal strong simulation relation for a model using one of two algorithms and a choice of different heuristic optimizations. FlowSim also includes tools for random generation of models which have non-uniform features in order to aid the study of how different algorithms are affected by models exhibiting certain features.

Publications

J. Bogdoll, H. Hermanns, and L. Zhang. Flowsim simulation benchmarking platform. In Sixth International Conference on Quantitative Evaluation of Systems (QEST), pages 211-212, 2009.

Benchmarks

See depend.cs.uni-sb.de/tools/flowsim/casestudies/

Download

See depend.cs.uni-sb.de/tools/flowsim/

Manual

See depend.cs.uni-sb.de/tools/flowsim/manual/

Status

Stable