Movatterモバイル変換

Showing 10 of 41 repositories

storm-doc Public
Storm documentation with Doxygen
moves-rwth/storm-doc’s past year of commit activity
HTML0 1 0 0 UpdatedApr 1, 2025
stormvogel Public
Storm for almost everyone
moves-rwth/stormvogel’s past year of commit activity
Jupyter Notebook 4GPL-3.00 25 2 UpdatedMar 31, 2025
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 4 2 UpdatedMar 29, 2025
storm Public
A Modern Probabilistic Model Checker
moves-rwth/storm’s past year of commit activity
C++ 145GPL-3.0 80 95 (7 issues need help) 12 UpdatedMar 27, 2025
stormpy Public
Python Bindings for the Probabilistic Model Checker Storm
moves-rwth/stormpy’s past year of commit activity
C++ 33GPL-3.0 19 21 7 UpdatedMar 26, 2025
caesar Public
Deductive verification infrastructure for probabilistic programs
moves-rwth/caesar’s past year of commit activity
Rust 16MIT 5 25 6 UpdatedMar 19, 2025
pycarl Public
Python bindings for carl
moves-rwth/pycarl’s past year of commit activity
Python 10 3 0 1 UpdatedMar 5, 2025
storm-website Public
Storm website
moves-rwth/storm-website’s past year of commit activity
SCSS 1 2 2 1 UpdatedFeb 19, 2025
stormpyter Public
Jupyter notebooks for Storm(py)
moves-rwth/stormpyter’s past year of commit activity
Jupyter Notebook0GPL-3.00 2 0 UpdatedFeb 12, 2025
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++ 2GPL-3.0 5 0 1 UpdatedNov 28, 2024

View all repositories

Movatterモバイル変換

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Chair for Software Modeling and Verification @ RWTH Aachen University

Popular repositoriesLoading

Repositories

People

Top languages

Most used topics