(Performance) compare perf. with other tools - Githubissues

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

BSD 3-Clause "New" or "Revised" License

4 stars 1 forks source link

(Performance) compare perf. with other tools #62

Open xhajnal opened 4 years ago

xhajnal commented 4 years ago

[x] PRISM
[x] Prophesy 1.0
[ ] Prophesy 2.0 (stuck, cannot load storm)
[x] Storm
[ ] check for other possoibilites

xhajnal commented 3 years ago

Results in: https://docs.google.com/spreadsheets/d/1lV8MbtLaT-xCU_ojwJ8iehrTAa-L0OGH4dV6MM1UtSU/edit#gid=0 commented in qest21 paper