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. |
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 |
|
Download |
|
Manual |
|
Status |
Stable |