(Translated by https://www.hiragana.jp/)
Chair for Software Modeling and Verification @ RWTH Aachen University · GitHub
Skip to content
@moves-rwth

Chair for Software Modeling and Verification @ RWTH Aachen University

Popular repositories Loading

  1. storm storm Public

    A Modern Probabilistic Model Checker

    C++ 134 74

  2. stormpy stormpy Public

    Python Bindings for the Probabilistic Model Checker Storm

    C++ 30 16

  3. dft-gui dft-gui Public

    Visualization for Dynamic Fault Trees

    JavaScript 13 1

  4. caesar caesar Public

    Deductive verification infrastructure for probabilistic programs

    Rust 13 3

  5. pycarl pycarl Public

    Python bindings for carl

    Python 10 3

  6. attestor attestor Public

    A Shape Analysis Tool based on Graph Grammars

    Java 10 4

Repositories

Showing 10 of 41 repositories
  • storm-doc Public

    Storm documentation with Doxygen

    moves-rwth/storm-doc’s past year of commit activity
    HTML 0 1 0 0 Updated Sep 27, 2024
  • stormvogel Public

    Storm for almost everyone

    moves-rwth/stormvogel’s past year of commit activity
    Python 2 0 18 1 Updated Sep 26, 2024
  • stormpy Public

    Python Bindings for the Probabilistic Model Checker Storm

    moves-rwth/stormpy’s past year of commit activity
    C++ 30 GPL-3.0 16 19 3 Updated Sep 26, 2024
  • storm Public

    A Modern Probabilistic Model Checker

    moves-rwth/storm’s past year of commit activity
    C++ 134 GPL-3.0 74 85 (7 issues need help) 12 Updated Sep 24, 2024
  • pycarl Public

    Python bindings for carl

    moves-rwth/pycarl’s past year of commit activity
    Python 10 3 2 0 Updated Sep 9, 2024
  • docker-storm Public

    Dockerfiles related to Storm

    moves-rwth/docker-storm’s past year of commit activity
    Dockerfile 1 0 0 0 Updated Sep 4, 2024
  • storm-website Public

    Storm website

    moves-rwth/storm-website’s past year of commit activity
    SCSS 1 2 1 0 Updated Sep 4, 2024
  • carl-storm Public

    The Computer ARithmetic and Logic library for the Storm model checker

    moves-rwth/carl-storm’s past year of commit activity
    C++ 4 3 2 2 Updated Sep 3, 2024
  • caesar Public

    Deductive verification infrastructure for probabilistic programs

    moves-rwth/caesar’s past year of commit activity
    Rust 13 MIT 3 19 2 Updated Aug 21, 2024
  • storm-project-starter-cpp Public template

    Starter project for the C++ API of Storm

    moves-rwth/storm-project-starter-cpp’s past year of commit activity
    C++ 2 GPL-3.0 4 0 0 Updated Jul 12, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…