Chair for Software Modeling and Verification @ RWTH Aachen University (@moves-rwth)
Guthub

moves-rwth

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

storm

A Modern Probabilistic Model Checker
C++
130
star
2

stormpy

Python Bindings for the Probabilistic Model Checker Storm
C++
29
star
3

caesar

Deductive verification infrastructure for probabilistic programs
Rust
13
star
4

dft-gui

Visualization for Dynamic Fault Trees
JavaScript
13
star
5

pycarl

Python bindings for carl
Python
10
star
6

attestor

A Shape Analysis Tool based on Graph Grammars
Java
10
star
7

kipro2

k-Induction and Bounded Model Checking for Probabilistic Programs
Python
6
star
8

prophesy

Parameter Synthesis in Markov Models
Python
6
star
9

carl-storm

The Computer ARithmetic and Logic library for the Storm model checker
C++
4
star
10

nitwit-validator

A simple interpreter-based violation witness validator for C code.
C++
4
star
11

PrIC3

Probabilistic IC3
Python
3
star
12

cbmc-with-kInduction

An extension of CBMC to enable k-induction proofs.
Python
3
star
13

storm-project-starter-cpp

Starter project for the C++ API of Storm
C++
2
star
14

attestor-examples

A collection of examples and benchmarks for attestor.
Java
2
star
15

stormvogel

Storm for almost everyone
Python
2
star
16

attestor-confluence

The (backwards-)confluence checker for data structure HRGs in ATTESTOR
Java
1
star
17

cegispro2

Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Python
1
star
18

docker-storm

Dockerfiles related to Storm
Dockerfile
1
star
19

stormpyter

Jupyter notebooks for Storm(py)
Jupyter Notebook
1
star
20

homebrew-storm

Ruby
1
star
21

storm-website

Storm website
HTML
1
star
22

dft-bdmp

Transformation from Boolean Logic Driven Markov Processes (BDMPs) to Dynamic Fault Trees (DFTs)
C++
1
star