Certificates and Witnesses for Probabilistic Model Checking -- Examples

This repository includes a jupyter notebook in which many of the examples from the thesis "Certificates and Witnesses for Probabilistic Model Checking" are made executable using the tool SWITSS.本代码仓库包含一份Jupyter笔记本（Jupyter Notebook），其中借助SWITSS工具，将学位论文《概率模型检查的证书与见证》（Certificates and Witnesses for Probabilistic Model Checking）中的诸多示例转化为可执行实例。