Chair for Software Modeling and Verification @ RWTH Aachen University

storm

A Modern Probabilistic Model Checker

stormpy

Python Bindings for the Probabilistic Model Checker Storm

dft-gui

Visualization for Dynamic Fault Trees

caesar

Deductive verification infrastructure for probabilistic programs

attestor

A Shape Analysis Tool based on Graph Grammars

pycarl

Python bindings for carl

kipro2

k-Induction and Bounded Model Checking for Probabilistic Programs

prophesy

Parameter Synthesis in Markov Models

carl-storm

The Computer ARithmetic and Logic library for the Storm model checker

nitwit-validator

A simple interpreter-based violation witness validator for C code.

PrIC3

Probabilistic IC3

attestor-examples

A collection of examples and benchmarks for attestor.

storm-project-starter-cpp

Starter project for the C++ API of Storm

attestor-confluence

The (backwards-)confluence checker for data structure HRGs in ATTESTOR

cegispro2

Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants

dft-bdmp

Transformation from Boolean Logic Driven Markov Processes (BDMPs) to Dynamic Fault Trees (DFTs)

docker-storm

Dockerfiles related to Storm

homebrew-storm

stormpyter

Jupyter notebooks for Storm(py)

dft-examples

Collection of DFT examples

dynasty

Synthesis of probabilistic programs for given PCTL specifications

c-code-generator

A tool for generating configurable Benchmarks for C Model Checkers

carl-parser

Parser for carl data structures

gradient-descent-experiments

homebrew-misc

A repository containing miscellaneous homebrew formulas.

pomdp-collection

Collection of partially observable MDPs described using the PRISM language

shepherd

Shepherding Hordes of Markov Chains

storm-benchmark-logs

Results for benchmarks of storm

storm-doc

Storm documentation with Doxygen

storm-pomdp-to-prism-pomdp

Small explicit export of POMDPs in storm to POMDPs in prism-format