Chair for Software Modeling and Verification @ RWTH Aachen University

Aachen, Germany

Pinned Repositories

attestor
A Shape Analysis Tool based on Graph Grammars
Language:Java10 8 04
caesar
Deductive verification infrastructure for probabilistic programs
Language:Rust13 7 252
carl-storm
The Computer ARithmetic and Logic library for the Storm model checker
Language:C++4 3 143
dft-gui
Visualization for Dynamic Fault Trees
Language:JavaScript13 5 01
kipro2
k-Induction and Bounded Model Checking for Probabilistic Programs
Language:Python6 9 00
nitwit-validator
A simple interpreter-based violation witness validator for C code.
Language:C++4 8 02
prophesy
Parameter Synthesis in Markov Models
Language:Python6 4 73
pycarl
Python bindings for carl
Language:Python10 5 73
storm
A Modern Probabilistic Model Checker
Language:C++132 16 23374
stormpy
Python Bindings for the Probabilistic Model Checker Storm
Language:C++29 9 8416

Chair for Software Modeling and Verification @ RWTH Aachen University's Repositories

moves-rwth/storm
A Modern Probabilistic Model Checker
Language:C++132 16 23374
moves-rwth/stormpy
Python Bindings for the Probabilistic Model Checker Storm
Language:C++29 9 8416
moves-rwth/caesar
Deductive verification infrastructure for probabilistic programs
Language:Rust13 7 252
moves-rwth/dft-gui
Visualization for Dynamic Fault Trees
Language:JavaScript13 5 01
moves-rwth/attestor
A Shape Analysis Tool based on Graph Grammars
Language:Java10 8 04
moves-rwth/pycarl
Python bindings for carl
Language:Python10 5 73
moves-rwth/kipro2
k-Induction and Bounded Model Checking for Probabilistic Programs
Language:Python6 9 00
moves-rwth/prophesy
Parameter Synthesis in Markov Models
Language:Python6 4 73
moves-rwth/carl-storm
The Computer ARithmetic and Logic library for the Storm model checker
Language:C++4 3 143
moves-rwth/nitwit-validator
A simple interpreter-based violation witness validator for C code.
Language:C++4 8 02
moves-rwth/attestor-examples
A collection of examples and benchmarks for attestor.
Language:Java2 7 00
moves-rwth/storm-project-starter-cpp
Starter project for the C++ API of Storm
Language:C++2 11 04
moves-rwth/stormvogel
Storm for almost everyone
Language:Jupyter Notebook2 8 32
moves-rwth/attestor-confluence
The (backwards-)confluence checker for data structure HRGs in ATTESTOR
Language:Java1 8 00
moves-rwth/cegispro2
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Language:Python1 6 11
moves-rwth/dft-bdmp
Transformation from Boolean Logic Driven Markov Processes (BDMPs) to Dynamic Fault Trees (DFTs)
Language:C++1 3 01
moves-rwth/docker-storm
Dockerfiles related to Storm
Language:Dockerfile1 6 2
moves-rwth/homebrew-storm
Language:Ruby1 8 62
moves-rwth/storm-website
Storm website
Language:HTML12
moves-rwth/stormpyter
Jupyter notebooks for Storm(py)
Language:Jupyter Notebook1 6 1
moves-rwth/dynasty
Synthesis of probabilistic programs for given PCTL specifications
Language:Python0 7 71
moves-rwth/pomdp-collection
Collection of partially observable MDPs described using the PRISM language
0 2 01
moves-rwth/storm-project-starter-python
Starter project for the Python API of Storm via Stormpy
Language:Jupyter Notebook0 11 01
moves-rwth/c-code-generator
A tool for generating configurable Benchmarks for C Model Checkers
Language:Java8 0
moves-rwth/carl-parser
Parser for carl data structures
Language:C++6 0
moves-rwth/gradient-descent-experiments
9 0
moves-rwth/homebrew-misc
A repository containing miscellaneous homebrew formulas.
Language:Ruby10 12
moves-rwth/shepherd
Shepherding Hordes of Markov Chains
5 0
moves-rwth/storm-doc
Storm documentation with Doxygen
Language:HTML10 01
moves-rwth/storm-pomdp-to-prism-pomdp
Small explicit export of POMDPs in storm to POMDPs in prism-format
Language:Python6 0