moves-rwth Goto Github PK

attestor

A Shape Analysis Tool based on Graph Grammars

attestor-confluence

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

attestor-examples

A collection of examples and benchmarks for attestor.

attestor-report

Report generation for the attestor tool.

c-code-generator

A tool for generating configurable Benchmarks for C Model Checkers

caesar

Deductive verification infrastructure for probabilistic programs

carl-parser

Parser for carl data structures

carl-storm

The Computer ARithmetic and Logic library for the Storm model checker

cbmc-with-kinduction

An extension of CBMC to enable k-induction proofs.

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)

dft-examples

Collection of DFT examples

dft-gspn-examples

Example DFTs represented as GSPNs

dft-gui

Visualization for Dynamic Fault Trees

docker-storm

Dockerfiles related to Storm

dynasty

Synthesis of probabilistic programs for given PCTL specifications

gradient-descent-experiments

homebrew-misc

A repository containing miscellaneous homebrew formulas.

homebrew-storm

human_factor_models

indefinite-horizon-pomdps

Supporting material for the Paper "Verification of indefinite-horizon POMDPs"

kipro2

k-Induction and Bounded Model Checking for Probabilistic Programs

nitwit-validator

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

optimal-bias-synthesis

Synthesizing Optimal Bias in Randomized Self-Stabilizing Algorithms

pomdp-collection

Collection of partially observable MDPs described using the PRISM language

pric3

Probabilistic IC3

prism-benchmarks

The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.

prophesy

Parameter Synthesis in Markov Models

pycarl

Python bindings for carl

shepherd

Shepherding Hordes of Markov Chains