thesis_examples.tar (3.49 MB)

Certificates and Witnesses for Probabilistic Model Checking -- Examples

dataset

posted on 2022-03-02, 12:04 authored by Simon JantschSimon Jantsch

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.

History

Usage metrics

Keywords

Probabilistic Model Checking Witnesses Certificates Subsystems Theoretical Computer Science

Licence

CC BY 4.0

Exports

RefWorks

BibTeX

Ref. manager

Endnote

DataCite

NLM