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	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