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:

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
models/convince		models/convince
README.md		README.md
modes_experiments.sh		modes_experiments.sh
scan_experiments.sh		scan_experiments.sh
scan_v0_3_experiments.sh		scan_v0_3_experiments.sh
smc_storm_experiments.sh		smc_storm_experiments.sh