thesis_experiments.tar (43.3 MB)
Certificates and Witnesses for Probabilistic Model Checking -- Supplementary material
Certificates and Witnesses for Probabilistic Model Checking -- Supplementary material
This repository includes all data and code that was used to run the experiments in the thesis "Certificates and Witnesses for Probabilistic Model Checking".
This repository includes all data and code that was used to run the experiments in the thesis "Certificates and Witnesses for Probabilistic Model Checking".