NWI-IMC046-Model-Checking - Files related to NWI-IMC046 Model Checking, spring 2018, Radboud University Nijmegen.

Age	Commit message (Expand)	Author	Files	Lines
2018-07-05	Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking	Camil Staps	2	-1/+6
2018-07-05	Add DTMC parser	Camil Staps	4	-2/+85
2018-07-05	Remove duplicate PCTL	Erin van der Veen	1	-11/+2
2018-07-05	Explain difference probabilistic and cost-bounded properties	Erin van der Veen	2	-1/+15
2018-07-04	Bootstrap report	Camil Staps	5	-0/+2852
2018-07-04	Add properties and simple program with stormpy bindings	Camil Staps	3	-0/+67
2018-07-04	Improve dockerfile	Camil Staps	2	-4/+4
2018-07-04	Add docker image with storm+stormpy	Camil Staps	2	-0/+33