arXiv Open Access 2017

A storm is Coming: A Modern Probabilistic Model Checker

Christian Dehnert Sebastian Junges Joost-Pieter Katoen Matthias Volk

Lihat Sumber

Abstrak

We launch the new probabilistic model checker storm. It features the analysis of discrete- and continuous-time variants of both Markov chains and MDPs. It supports the PRISM and JANI modeling languages, probabilistic programs, dynamic fault trees and generalized stochastic Petri nets. It has a modular set-up in which solvers and symbolic engines can easily be exchanged. It offers a Python API for rapid prototyping by encapsulating storm's fast and scalable algorithms. Experiments on a variety of benchmarks show its competitive performance.

Topik & Kata Kunci

cs.SE

Penulis (4)

Christian Dehnert

Sebastian Junges

Joost-Pieter Katoen

Matthias Volk

Format Sitasi

APA MLA BibTeX

Dehnert, C., Junges, S., Katoen, J., Volk, M. (2017). A storm is Coming: A Modern Probabilistic Model Checker. https://arxiv.org/abs/1702.04311

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2017
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓