Use Cases and Experiments from CONVINCE

Reproducible experiments on models of CONVINCE use cases.

Tools

The following is the list of tools and respective version used for the experiments:

• Hyperfine v1.18.0
• SMC STORM v0.1.8 (for best result, customize number of threads in script)
• SCAN v0.2.0 (v0.3 is supported via alternative script)
• Modes toolset v3.1.300-g0e0d7b519+0e0d7b519be1dee80a1cd15f6127696ac50b32e0