Skip to content

@Ecdar Ecdar

All

    Repositories list

    17 repositories

    • www.ecdar.net

      Public
      Website for the Ecdar project
      SCSS
      •5•0•0•1•Updated Mar 13, 2024Mar 13, 2024

    • Ecdar-Web

      Public
      A REST proxy for the gRPC implementation
      Rust
      •
      MIT License
      •1•0•0•0•Updated Mar 13, 2024Mar 13, 2024

    • Ecdar-GUI-Native

      Public
      Rust
      •
      MIT License
      •1•0•1•3•Updated Mar 13, 2024Mar 13, 2024

    • Ecdar-API

      Public
      Project that defines the interface between a database and Reveaal
      Rust
      •
      MIT License
      •1•4•4•1•Updated Mar 13, 2024Mar 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
      •
      MIT License
      •1•0•0•0•Updated Mar 13, 2024Mar 13, 2024

    • Reveaal

      Public
      A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in rust.
      Rust
      •6•4•29•5•Updated Feb 19, 2024Feb 19, 2024

    • Ecdar-Test

      Public
      Common test framework for the Ecdar engines
      Kotlin
      •1•0•7•2•Updated Feb 12, 2024Feb 12, 2024

    • Ecdar-Common

      Public
      Common ECDAR stuff used by different repositories.
      MIT License
      •2•0•1•1•Updated Feb 12, 2024Feb 12, 2024

    • Ecdar-ProtoBuf

      Public
      The ProtoBuf classes used for the intercommunication of the ECDAR subsystems
      3•0•0•1•Updated Feb 12, 2024Feb 12, 2024

    • Ecdar-GUI-Web

      Public
      A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)
      TypeScript
      •
      MIT License
      •0•2•43•5•Updated Jan 29, 2024Jan 29, 2024

    • EDBM

      Public
      A Rust DBM Library for the verification engines of ECDAR
      Rust
      •
      GNU General Public License v3.0
      •2•0•0•1•Updated Dec 13, 2023Dec 13, 2023

    • Ecdar-ProtoBuf-rs

      Public archive
      A rust lib for communicating with Ecdar servers
      Rust
      •
      MIT License
      •0•0•1•0•Updated Dec 13, 2023Dec 13, 2023

    • Ecdar-GUI

      Public
      A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)
      Java
      •
      MIT License
      •5•3•31•1•Updated Sep 24, 2023Sep 24, 2023

    • ECDAR

      Public
      Shell
      •1•1•2•1•Updated May 2, 2023May 2, 2023

    • j-Ecdar

      Public
      A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.
      Java
      •
      MIT License
      •9•4•26•9•Updated Apr 13, 2023Apr 13, 2023

    • UCDD

      Public
      Uppaal CDD library
      C++
      •
      GNU General Public License v3.0
      •10•0•0•1•Updated Apr 13, 2023Apr 13, 2023

    • VisualZone

      Public
      Java
      •
      MIT License
      •0•0•0•0•Updated Dec 10, 2019Dec 10, 2019
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.