Skip to content
@moves-rwth

Chair for Software Modeling and Verification @ RWTH Aachen University

Popular repositories Loading

  1. caesar caesar Public

    Deductive verification infrastructure for probabilistic programs

    Rust 30 13

  2. dft-gui dft-gui Public

    Visualization for Dynamic Fault Trees

    JavaScript 16 1

  3. attestor attestor Public

    A Shape Analysis Tool based on Graph Grammars

    Java 14 4

  4. pycarl pycarl Public archive

    Python bindings for carl

    Python 11 3

  5. prophesy prophesy Public archive

    Parameter Synthesis in Markov Models

    Python 6 3

  6. kipro2 kipro2 Public

    k-Induction and Bounded Model Checking for Probabilistic Programs

    Python 6

Repositories

Showing 10 of 31 repositories
  • caesar Public

    Deductive verification infrastructure for probabilistic programs

    moves-rwth/caesar's past year of commit activity
    Rust 30 MIT 13 30 7 Updated Sep 25, 2026
  • attestor Public

    A Shape Analysis Tool based on Graph Grammars

    moves-rwth/attestor's past year of commit activity
    Java 14 GPL-3.0 4 0 5 Updated Jul 5, 2026
  • moves-rwth.github.io Public

    Redirects for some websites hosted under moves-rwth

    moves-rwth/moves-rwth.github.io's past year of commit activity
    HTML 0 0 0 0 Updated Mar 23, 2026
  • sound-mopmc Public

    Tools and Benchmarks for Sound Multi-Objective Probabilistic Model Checking

    moves-rwth/sound-mopmc's past year of commit activity
    HTML 0 1 0 0 Updated Feb 13, 2026
  • cegispro2 Public

    Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants

    moves-rwth/cegispro2's past year of commit activity
    Python 5 Apache-2.0 1 1 0 Updated Feb 11, 2026
  • dft-gui Public

    Visualization for Dynamic Fault Trees

    moves-rwth/dft-gui's past year of commit activity
    JavaScript 16 1 0 0 Updated Oct 23, 2025
  • caesar-lean Public

    A Lean 4 Formalization of Caesar's HeyVL Intermediate Verification Language

    moves-rwth/caesar-lean's past year of commit activity
    0 MIT 0 0 0 Updated Aug 19, 2025
  • pycarl Public archive

    Python bindings for carl

    moves-rwth/pycarl's past year of commit activity
    Python 11 3 0 0 Updated May 27, 2025
  • prophesy Public archive

    Parameter Synthesis in Markov Models

    moves-rwth/prophesy's past year of commit activity
    Python 6 GPL-3.0 3 1 0 Updated Jan 7, 2024
  • nitwit-validator Public

    A simple interpreter-based violation witness validator for C code.

    moves-rwth/nitwit-validator's past year of commit activity
    C++ 4 2 0 0 Updated Nov 12, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…