Skip to content

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

Change the repository type filter

All

    Repositories list

    42 repositories

    • storm-doc

      Public
      Storm documentation with Doxygen
      HTML
      •1•0•0•0•Updated Aug 2, 2025Aug 2, 2025

    • storm

      Public
      A Modern Probabilistic Model Checker
      researchfault-treemarkov-chainmodel-checkingmodel-checkerctmcpomdpmdpdtmc
      C++
      •
      GNU General Public License v3.0
      •81•150•90•14•Updated Aug 1, 2025Aug 1, 2025

    • stormpy

      Public
      Python Bindings for the Probabilistic Model Checker Storm
      C++
      •
      GNU General Public License v3.0
      •19•36•22•4•Updated Jul 31, 2025Jul 31, 2025

    • caesar

      Public
      Deductive verification infrastructure for probabilistic programs
      programming-languageprobabilistic-programsdeductive-verification
      Rust
      •
      MIT License
      •7•22•29•4•Updated Jul 31, 2025Jul 31, 2025

    • stormvogel

      Public
      Storm for almost everyone
      HTML
      •
      GNU General Public License v3.0
      •4•11•46•2•Updated Jul 21, 2025Jul 21, 2025

    • carl-parser

      Public
      Parser for carl data structures
      C++
      •
      Other
      •0•0•0•0•Updated Jul 1, 2025Jul 1, 2025

    • storm-website

      Public
      Storm website
      SCSS
      •4•1•3•1•Updated Jul 1, 2025Jul 1, 2025

    • docker-storm

      Public
      Dockerfiles related to Storm
      Dockerfile
      •0•1•1•0•Updated Jun 30, 2025Jun 30, 2025

    • storm-project-starter-cpp

      Public template
      Starter project for the C++ API of Storm
      CMake
      •
      GNU General Public License v3.0
      •6•2•0•0•Updated Jun 17, 2025Jun 17, 2025

    • carl-storm

      Public
      The Computer ARithmetic and Logic library for the Storm model checker
      C++
      •
      Other
      •5•5•5•3•Updated Jun 17, 2025Jun 17, 2025

    • storm-project-starter-python

      Public template
      Starter project for the Python API of Storm via Stormpy
      Jupyter Notebook
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated Jun 16, 2025Jun 16, 2025

    • stormvogel-playground

      Public
      JavaScript
      •
      GNU General Public License v3.0
      •0•1•5•2•Updated Jun 13, 2025Jun 13, 2025

    • homebrew-storm

      Public
      Ruby
      •2•1•1•0•Updated Jun 2, 2025Jun 2, 2025

    • pycarl

      Public archive
      Python bindings for carl
      Python
      •3•11•0•0•Updated May 27, 2025May 27, 2025

    • stormpyter

      Public
      Jupyter notebooks for Storm(py)
      Jupyter Notebook
      •
      GNU General Public License v3.0
      •0•0•2•0•Updated Feb 12, 2025Feb 12, 2025

    • cegispro2

      Public
      Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
      Python
      •
      Apache License 2.0
      •1•2•1•0•Updated Feb 10, 2024Feb 10, 2024

    • prophesy

      Public archive
      Parameter Synthesis in Markov Models
      researchparametersmarkov-chainmodel-checking
      Python
      •
      GNU General Public License v3.0
      •3•6•1•0•Updated Jan 7, 2024Jan 7, 2024

    • nitwit-validator

      Public
      A simple interpreter-based violation witness validator for C code.
      C++
      •
      Other
      •2•4•0•0•Updated Nov 12, 2023Nov 12, 2023

    • shepherd

      Public
      Shepherding Hordes of Markov Chains
      0•0•0•0•Updated Jun 16, 2023Jun 16, 2023

    • homebrew-misc

      Public
      A repository containing miscellaneous homebrew formulas.
      Ruby
      •2•0•0•0•Updated May 12, 2023May 12, 2023

    • pomdp-collection

      Public
      Collection of partially observable MDPs described using the PRISM language
      1•0•0•0•Updated Apr 3, 2023Apr 3, 2023

    • dynasty

      Public
      Synthesis of probabilistic programs for given PCTL specifications
      Python
      •
      GNU General Public License v3.0
      •1•0•7•0•Updated Feb 6, 2023Feb 6, 2023

    • attestor

      Public
      A Shape Analysis Tool based on Graph Grammars
      researchstatic-code-analysismodel-checkingstatic-analyzerheap
      Java
      •
      GNU General Public License v3.0
      •4•10•0•5•Updated Nov 22, 2022Nov 22, 2022

    • dft-bdmp

      Public
      Transformation from Boolean Logic Driven Markov Processes (BDMPs) to Dynamic Fault Trees (DFTs)
      C++
      •1•1•0•0•Updated Jun 9, 2022Jun 9, 2022

    • storm-pomdp-to-prism-pomdp

      Public
      Small explicit export of POMDPs in storm to POMDPs in prism-format
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jun 2, 2022Jun 2, 2022

    • c-code-generator

      Public
      A tool for generating configurable Benchmarks for C Model Checkers
      Java
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Jan 10, 2022Jan 10, 2022

    • attestor-examples

      Public
      A collection of examples and benchmarks for attestor.
      Java
      •0•2•0•0•Updated Dec 17, 2021Dec 17, 2021

    • dft-gui

      Public
      Visualization for Dynamic Fault Trees
      fault-treeftadynamic-fault-trees
      JavaScript
      •1•15•0•0•Updated Oct 28, 2021Oct 28, 2021

    • kipro2

      Public
      k-Induction and Bounded Model Checking for Probabilistic Programs
      Python
      •
      Apache License 2.0
      •0•6•0•0•Updated Jul 29, 2021Jul 29, 2021

    • gradient-descent-experiments

      Public
      0•0•0•0•Updated May 10, 2021May 10, 2021