Pinned Repositories
Ecdar-API
Project that defines the interface between a database and Reveaal
Ecdar-GUI
A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)
Ecdar-GUI-Web
A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)
Ecdar-ProtoBuf-Transpiler-rs
Transpiles Ecdar-ProtoBuf to get their services and return type for use in Ecdar-Web and Ecdar-GUI-Native
Ecdar-Test
Common test framework for the Ecdar engines
Ecdar-Web
A REST proxy for the gRPC implementation
EDBM
A Rust DBM Library for the verification engines of ECDAR
j-Ecdar
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.
Reveaal
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in rust.
www.ecdar.net
Website for the Ecdar project
Ecdar's Repositories
Ecdar/Reveaal
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in rust.
Ecdar/j-Ecdar
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.
Ecdar/Ecdar-GUI
A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)
Ecdar/Ecdar-API
Project that defines the interface between a database and Reveaal
Ecdar/Ecdar-GUI-Web
A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)
Ecdar/ECDAR
Ecdar/Ecdar-ProtoBuf-Transpiler-rs
Transpiles Ecdar-ProtoBuf to get their services and return type for use in Ecdar-Web and Ecdar-GUI-Native
Ecdar/Ecdar-Test
Common test framework for the Ecdar engines
Ecdar/Ecdar-Web
A REST proxy for the gRPC implementation
Ecdar/EDBM
A Rust DBM Library for the verification engines of ECDAR
Ecdar/www.ecdar.net
Website for the Ecdar project
Ecdar/Ecdar-Common
Common ECDAR stuff used by different repositories.
Ecdar/Ecdar-GUI-Native
Ecdar/Ecdar-ProtoBuf
The ProtoBuf classes used for the intercommunication of the ECDAR subsystems
Ecdar/Ecdar-ProtoBuf-rs
A rust lib for communicating with Ecdar servers
Ecdar/UCDD
Uppaal CDD library
Ecdar/VisualZone