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

Age	Commit message (Collapse)	Author	Files	Lines
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