Pinned Repositories
attestor
A Shape Analysis Tool based on Graph Grammars
caesar
Deductive verification infrastructure for probabilistic programs
carl-storm
The Computer ARithmetic and Logic library for the Storm model checker
dft-gui
Visualization for Dynamic Fault Trees
kipro2
k-Induction and Bounded Model Checking for Probabilistic Programs
nitwit-validator
A simple interpreter-based violation witness validator for C code.
prophesy
Parameter Synthesis in Markov Models
pycarl
Python bindings for carl
storm
A Modern Probabilistic Model Checker
stormpy
Python Bindings for the Probabilistic Model Checker Storm
Chair for Software Modeling and Verification @ RWTH Aachen University's Repositories
moves-rwth/storm
A Modern Probabilistic Model Checker
moves-rwth/stormpy
Python Bindings for the Probabilistic Model Checker Storm
moves-rwth/caesar
Deductive verification infrastructure for probabilistic programs
moves-rwth/dft-gui
Visualization for Dynamic Fault Trees
moves-rwth/attestor
A Shape Analysis Tool based on Graph Grammars
moves-rwth/pycarl
Python bindings for carl
moves-rwth/kipro2
k-Induction and Bounded Model Checking for Probabilistic Programs
moves-rwth/prophesy
Parameter Synthesis in Markov Models
moves-rwth/carl-storm
The Computer ARithmetic and Logic library for the Storm model checker
moves-rwth/nitwit-validator
A simple interpreter-based violation witness validator for C code.
moves-rwth/attestor-examples
A collection of examples and benchmarks for attestor.
moves-rwth/storm-project-starter-cpp
Starter project for the C++ API of Storm
moves-rwth/stormvogel
Storm for almost everyone
moves-rwth/attestor-confluence
The (backwards-)confluence checker for data structure HRGs in ATTESTOR
moves-rwth/cegispro2
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
moves-rwth/dft-bdmp
Transformation from Boolean Logic Driven Markov Processes (BDMPs) to Dynamic Fault Trees (DFTs)
moves-rwth/docker-storm
Dockerfiles related to Storm
moves-rwth/homebrew-storm
moves-rwth/storm-website
Storm website
moves-rwth/stormpyter
Jupyter notebooks for Storm(py)
moves-rwth/dynasty
Synthesis of probabilistic programs for given PCTL specifications
moves-rwth/pomdp-collection
Collection of partially observable MDPs described using the PRISM language
moves-rwth/storm-project-starter-python
Starter project for the Python API of Storm via Stormpy
moves-rwth/c-code-generator
A tool for generating configurable Benchmarks for C Model Checkers
moves-rwth/carl-parser
Parser for carl data structures
moves-rwth/gradient-descent-experiments
moves-rwth/homebrew-misc
A repository containing miscellaneous homebrew formulas.
moves-rwth/shepherd
Shepherding Hordes of Markov Chains
moves-rwth/storm-doc
Storm documentation with Doxygen
moves-rwth/storm-pomdp-to-prism-pomdp
Small explicit export of POMDPs in storm to POMDPs in prism-format