Popular repositories Loading

1. Reveaal Reveaal Public

   Forked from Ecdar/Reveaal

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

   Rust 8

2. Ecdar-ProtoBuf Ecdar-ProtoBuf Public

   Forked from Ecdar/Ecdar-ProtoBuf

   The ProtoBuf classes used for the intercommunication of the ECDAR subsystems

3. Ecdar-Test Ecdar-Test Public

   Forked from Ecdar/Ecdar-Test

   Common test framework for the Ecdar engines

   Kotlin

4. j-Ecdar j-Ecdar Public

   Forked from Ecdar/j-Ecdar

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

   Java

5. Ecdar-ProtoBuf-Transpiler-ts Ecdar-ProtoBuf-Transpiler-ts Public

   A typescript transpiler for Ecdar Protobuff that gives the same type as serde

   TypeScript

6. EDBM EDBM Public

   Forked from Ecdar/EDBM

   A Rust DBM Library for the verification engines of ECDAR

   Rust