Certificates and Witnesses for Probabilistic Model Checking -- Examples
收藏Mendeley Data2024-01-31 更新2024-06-30 收录
下载链接：
https://figshare.com/articles/dataset/Certificates_and_Witnesses_for_Probabilistic_Model_Checking_--_Examples/19209429/1
下载链接
链接失效反馈官方服务：
资源简介：
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）中的诸多示例转化为可执行实例。
创建时间：
2024-01-31
