moves-rwth/nitwit-validator

Stars
4
Rank 3,304,323 (Top 66 %)
Language
C++
License
Other
Created about 5 years ago
Updated about 1 year ago

moves-rwth/nitwit-validator

moves-rwth

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

storm

A Modern Probabilistic Model Checker

stormpy

Python Bindings for the Probabilistic Model Checker Storm

caesar

Deductive verification infrastructure for probabilistic programs

dft-gui

Visualization for Dynamic Fault Trees

pycarl

Python bindings for carl

attestor

A Shape Analysis Tool based on Graph Grammars

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

PrIC3

Probabilistic IC3

cbmc-with-kInduction

An extension of CBMC to enable k-induction proofs.

storm-project-starter-cpp

Starter project for the C++ API of Storm

attestor-examples

A collection of examples and benchmarks for attestor.

stormvogel

Storm for almost everyone

attestor-confluence

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

cegispro2

Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants

docker-storm

Dockerfiles related to Storm

stormpyter

Jupyter notebooks for Storm(py)

Jupyter Notebook

homebrew-storm

storm-website

dft-bdmp

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