Skip to content

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

Change the repository type filter

All

    Repositories list

    41 repositories

    • caesar

      Public
      Deductive verification infrastructure for probabilistic programs
      programming-languageprobabilistic-programsdeductive-verification
      Rust
      •
      MIT License
      •4•15•23•2•Updated Dec 18, 2024Dec 18, 2024

    • stormpy

      Public
      Python Bindings for the Probabilistic Model Checker Storm
      C++
      •
      GNU General Public License v3.0
      •17•31•19•4•Updated Dec 18, 2024Dec 18, 2024

    • storm-doc

      Public
      Storm documentation with Doxygen
      HTML
      •1•0•0•0•Updated Dec 18, 2024Dec 18, 2024

    • stormpyter

      Public
      Jupyter notebooks for Storm(py)
      Jupyter Notebook
      •
      GNU General Public License v3.0
      •0•0•2•1•Updated Dec 17, 2024Dec 17, 2024

    • stormvogel

      Public
      Storm for almost everyone
      Python
      •0•3•35•0•Updated Dec 15, 2024Dec 15, 2024

    • storm

      Public
      A Modern Probabilistic Model Checker
      researchfault-treemarkov-chainmodel-checkingmodel-checkerctmcpomdpmdpdtmc
      C++
      •
      GNU General Public License v3.0
      •75•140•90•13•Updated Dec 13, 2024Dec 13, 2024

    • storm-website

      Public
      Storm website
      SCSS
      •2•1•2•1•Updated Dec 11, 2024Dec 11, 2024

    • storm-project-starter-cpp

      Public template
      Starter project for the C++ API of Storm
      C++
      •
      GNU General Public License v3.0
      •4•2•0•0•Updated Nov 28, 2024Nov 28, 2024

    • carl-storm

      Public
      The Computer ARithmetic and Logic library for the Storm model checker
      C++
      •
      Other
      •3•4•2•2•Updated Nov 25, 2024Nov 25, 2024

    • 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 Nov 25, 2024Nov 25, 2024

    • pycarl

      Public
      Python bindings for carl
      Python
      •3•10•2•0•Updated Nov 25, 2024Nov 25, 2024

    • docker-storm

      Public
      Dockerfiles related to Storm
      Dockerfile
      •0•1•0•0•Updated Nov 15, 2024Nov 15, 2024

    • carl-parser

      Public
      Parser for carl data structures
      C++
      •0•0•0•0•Updated Jul 8, 2024Jul 8, 2024

    • homebrew-storm

      Public
      Ruby
      •2•1•1•1•Updated Feb 21, 2024Feb 21, 2024

    • 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
      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•0•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•14•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

    • 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