Skip to content
@Ecdar

Ecdar

Pinned Loading

  1. Ecdar-GUI Public

    A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)

    Java 3 5

  2. Reveaal Public

    A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in rust.

    Rust 5 5

  3. j-Ecdar Public

    A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.

    Java 4 9

Repositories

Showing 10 of 17 repositories
  • www.ecdar.net Public

    Website for the Ecdar project

    SCSS 0 5 0 1 Updated Mar 13, 2024
  • Ecdar-Web Public

    A REST proxy for the gRPC implementation

    Rust 0 MIT 1 0 0 Updated Mar 13, 2024
  • Ecdar-GUI-Native Public
    Rust 0 MIT 1 1 3 Updated Mar 13, 2024
  • Ecdar-API Public

    Project that defines the interface between a database and Reveaal

    Rust 2 MIT 1 4 1 Updated Mar 13, 2024
  • Ecdar-ProtoBuf-Transpiler-rs Public

    Transpiles Ecdar-ProtoBuf to get their services and return type for use in Ecdar-Web and Ecdar-GUI-Native

    Rust 0 MIT 1 0 0 Updated Mar 13, 2024
  • Reveaal Public

    A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in rust.

    Rust 5 5 29 (1 issue needs help) 5 Updated Feb 19, 2024
  • Ecdar-Test Public

    Common test framework for the Ecdar engines

    Kotlin 0 1 7 2 Updated Feb 12, 2024
  • Ecdar-Common Public

    Common ECDAR stuff used by different repositories.

    0 MIT 2 1 1 Updated Feb 12, 2024
  • Ecdar-ProtoBuf Public

    The ProtoBuf classes used for the intercommunication of the ECDAR subsystems

    0 3 0 1 Updated Feb 12, 2024
  • Ecdar-GUI-Web Public

    A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)

    TypeScript 2 MIT 0 43 (1 issue needs help) 5 Updated Jan 29, 2024
View all repositories