Skip to content
Change the repository type filter

All

    Repositories list

    • caesar

      Public
      Deductive verification infrastructure for probabilistic programs
      Rust
      MIT License
      1228326Updated Apr 20, 2026Apr 20, 2026
    • Ruby
      3130Updated Apr 9, 2026Apr 9, 2026
    • Redirects for some websites hosted under moves-rwth
      HTML
      0000Updated Mar 23, 2026Mar 23, 2026
    • Tools and Benchmarks for Sound Multi-Objective Probabilistic Model Checking
      HTML
      1000Updated Feb 13, 2026Feb 13, 2026
    • cegispro2

      Public
      Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
      Python
      Apache License 2.0
      1510Updated Feb 11, 2026Feb 11, 2026
    • attestor

      Public
      A Shape Analysis Tool based on Graph Grammars
      Java
      GNU General Public License v3.0
      41305Updated Feb 5, 2026Feb 5, 2026
    • dft-gui

      Public
      Visualization for Dynamic Fault Trees
      JavaScript
      Other
      11600Updated Oct 23, 2025Oct 23, 2025
    • A Lean 4 Formalization of Caesar's HeyVL Intermediate Verification Language
      MIT License
      0000Updated Aug 19, 2025Aug 19, 2025
    • pycarl

      Public archive
      Python bindings for carl
      Python
      31100Updated May 27, 2025May 27, 2025
    • prophesy

      Public archive
      Parameter Synthesis in Markov Models
      Python
      GNU General Public License v3.0
      3610Updated Jan 7, 2024Jan 7, 2024
    • A simple interpreter-based violation witness validator for C code.
      C++
      Other
      2400Updated Nov 12, 2023Nov 12, 2023
    • shepherd

      Public
      Shepherding Hordes of Markov Chains
      0000Updated Jun 16, 2023Jun 16, 2023
    • A repository containing miscellaneous homebrew formulas.
      Ruby
      2000Updated May 12, 2023May 12, 2023
    • Collection of partially observable MDPs described using the PRISM language
      1000Updated Apr 3, 2023Apr 3, 2023
    • dynasty

      Public
      Synthesis of probabilistic programs for given PCTL specifications
      Python
      GNU General Public License v3.0
      1070Updated Feb 6, 2023Feb 6, 2023
    • dft-bdmp

      Public
      Transformation from Boolean Logic Driven Markov Processes (BDMPs) to Dynamic Fault Trees (DFTs)
      C++
      1100Updated Jun 9, 2022Jun 9, 2022
    • Small explicit export of POMDPs in storm to POMDPs in prism-format
      Python
      GNU General Public License v3.0
      0000Updated Jun 2, 2022Jun 2, 2022
    • A tool for generating configurable Benchmarks for C Model Checkers
      Java
      GNU General Public License v3.0
      0100Updated Jan 10, 2022Jan 10, 2022
    • A collection of examples and benchmarks for attestor.
      Java
      0200Updated Dec 17, 2021Dec 17, 2021
    • kipro2

      Public
      k-Induction and Bounded Model Checking for Probabilistic Programs
      Python
      Apache License 2.0
      0600Updated Jul 29, 2021Jul 29, 2021
    • 0000Updated May 10, 2021May 10, 2021
    • The (backwards-)confluence checker for data structure HRGs in ATTESTOR
      Java
      GNU General Public License v3.0
      0100Updated Apr 28, 2021Apr 28, 2021
    • Collection of DFT examples
      1100Updated Feb 26, 2021Feb 26, 2021
    • PrIC3

      Public
      Probabilistic IC3
      Python
      1400Updated Sep 30, 2020Sep 30, 2020
    • Supporting material for the Paper "Verification of indefinite-horizon POMDPs"
      0000Updated Jun 30, 2020Jun 30, 2020
    • Synthesizing Optimal Bias in Randomized Self-Stabilizing Algorithms
      Raku
      0000Updated Mar 20, 2020Mar 20, 2020
    • An extension of CBMC to enable k-induction proofs.
      Python
      MIT License
      0400Updated Feb 6, 2020Feb 6, 2020
    • Example DFTs represented as GSPNs
      0000Updated May 24, 2019May 24, 2019
    • Perl 6
      1000Updated Jun 6, 2018Jun 6, 2018
    • The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.
      Perl 6
      9100Updated Mar 6, 2018Mar 6, 2018
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.