Explore @Ecdar Open Source projects

@Ecdar

Ecdar

Stars
16
Global Org. Rank 129,804 (Top 42 %)
Registered almost 5 years ago
Most used languages

Rust
40.0 %

Java
40.0 %

TypeScript
20.0 %
Location 🇩🇰 Denmark
Country Total Rank 2,938
Country Ranking

Rust
106

Java
262

TypeScript
492

Reveaal

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

j-Ecdar

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

Ecdar-GUI

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

Ecdar-API

Project that defines the interface between a database and Reveaal

Ecdar-GUI-Web

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