Thanks to visit codestin.com
Credit goes to github.com

Skip to content

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

Change the repository type filter

All

    Repositories list

    41 repositories

    • storm-doc

      Public
      Storm documentation with Doxygen
      HTML
      •1•0•0•0•Updated Oct 30, 2025Oct 30, 2025

    • stormpy

      Public
      Python Bindings for the Probabilistic Model Checker Storm
      C++
      •
      GNU General Public License v3.0
      •19•37•22•1•Updated Oct 29, 2025Oct 29, 2025

    • carl-storm

      Public
      The Computer ARithmetic and Logic library for the Storm model checker
      C++
      •
      Other
      •5•5•5•4•Updated Oct 27, 2025Oct 27, 2025

    • docker-storm

      Public
      Dockerfiles related to Storm
      Dockerfile
      •0•1•0•0•Updated Oct 27, 2025Oct 27, 2025

    • storm

      Public
      A Modern Probabilistic Model Checker
      researchfault-treemarkov-chainmdpmodel-checkingmodel-checkerctmcpomdpdtmc
      C++
      •
      GNU General Public License v3.0
      •83•152•84•9•Updated Oct 27, 2025Oct 27, 2025

    • dft-gui

      Public
      Visualization for Dynamic Fault Trees
      fault-treeftadynamic-fault-trees
      JavaScript
      •
      Other
      •1•15•0•0•Updated Oct 23, 2025Oct 23, 2025

    • caesar

      Public
      Deductive verification infrastructure for probabilistic programs
      programming-languageprobabilistic-programsdeductive-verification
      Rust
      •
      MIT License
      •11•24•29•4•Updated Oct 21, 2025Oct 21, 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 Oct 3, 2025Oct 3, 2025

    • storm-website

      Public
      Storm website
      SCSS
      •4•1•1•0•Updated Sep 15, 2025Sep 15, 2025

    • homebrew-storm

      Public
      Ruby
      •2•1•3•2•Updated Aug 25, 2025Aug 25, 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•1•Updated Aug 21, 2025Aug 21, 2025

    • caesar-lean

      Public
      A Lean 4 Formalization of Caesar's HeyVL Intermediate Verification Language
      MIT License
      •0•0•0•0•Updated Aug 19, 2025Aug 19, 2025

    • carl-parser

      Public
      Parser for carl data structures
      C++
      •
      Other
      •0•0•0•0•Updated Jul 1, 2025Jul 1, 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-checkingheapstatic-analyzer
      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

    • 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

    • attestor-confluence

      Public
      The (backwards-)confluence checker for data structure HRGs in ATTESTOR
      Java
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Apr 28, 2021Apr 28, 2021