Chair for Software Modeling and Verification @ RWTH Aachen University

Popular repositories Loading

storm storm Public

A Modern Probabilistic Model Checker

C++ 127 74
stormpy stormpy Public

Python Bindings for the Probabilistic Model Checker Storm

C++ 28 16
dft-gui dft-gui Public

Visualization for Dynamic Fault Trees

JavaScript 13 1
caesar caesar Public

Deductive verification infrastructure for probabilistic programs

Rust 13 2
attestor attestor Public

A Shape Analysis Tool based on Graph Grammars

Java 10 4
pycarl pycarl Public

Python bindings for carl

Python 9 3

Repositories

storm-website Public
Storm website

moves-rwth/storm-website’s past year of commit activity

HTML 1 2 1 2 Updated Jul 19, 2024
storm Public
A Modern Probabilistic Model Checker

moves-rwth/storm’s past year of commit activity

C++ 127 GPL-3.0 74 80 (7 issues need help) 8 Updated Jul 19, 2024
stormpy Public
Python Bindings for the Probabilistic Model Checker Storm

moves-rwth/stormpy’s past year of commit activity

C++ 28 GPL-3.0 16 17 4 Updated Jul 19, 2024
storm-doc Public
Storm documentation with Doxygen

moves-rwth/storm-doc’s past year of commit activity

HTML 0 1 0 0 Updated Jul 19, 2024
stormvogel Public
Storm for almost everyone

moves-rwth/stormvogel’s past year of commit activity

Jupyter Notebook 2 0 9 0 Updated Jul 18, 2024
pycarl Public
Python bindings for carl

moves-rwth/pycarl’s past year of commit activity

Python 9 3 2 1 Updated Jul 17, 2024
storm-project-starter-cpp Public template
Starter project for the C++ API of Storm

moves-rwth/storm-project-starter-cpp’s past year of commit activity

C++ 2 GPL-3.0 4 0 0 Updated Jul 12, 2024
storm-project-starter-python Public template
Starter project for the Python API of Storm via Stormpy

moves-rwth/storm-project-starter-python’s past year of commit activity

Jupyter Notebook 0 GPL-3.0 1 0 0 Updated Jul 12, 2024
caesar Public
Deductive verification infrastructure for probabilistic programs

moves-rwth/caesar’s past year of commit activity

Rust 13 MIT 2 17 2 Updated Jul 10, 2024
carl-storm Public
The Computer ARithmetic and Logic library for the Storm model checker

moves-rwth/carl-storm’s past year of commit activity

C++ 4 3 3 1 Updated Jul 8, 2024