Skip to content

@Ecdar-SW5 Ecdar-SW5

Change the repository type filter

All

    Repositories list

    6 repositories

    • Ecdar-ProtoBuf

      Public
      The ProtoBuf classes used for the intercommunication of the ECDAR subsystems
      3•2•0•0•Updated Feb 9, 2023Feb 9, 2023

    • report-common

      Public
      This repo contains all of the common sections for CS-22-SW-5-ECDAR. You will find the README inside the common folder
      TeX
      •2•0•6•0•Updated Dec 16, 2022Dec 16, 2022

    • Reveaal

      Public
      A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in rust.
      Rust
      •7•6•37•7•Updated Dec 15, 2022Dec 15, 2022

    • Ecdar-GUI

      Public
      A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)
      Java
      •
      MIT License
      •5•0•31•0•Updated Dec 9, 2022Dec 9, 2022

    • EDBM

      Public
      A Rust DBM Library for the verification engines of ECDAR
      Rust
      •
      GNU General Public License v3.0
      •2•0•0•0•Updated Sep 16, 2022Sep 16, 2022

    • 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•0•0•0•Updated Aug 12, 2022Aug 12, 2022