ECDAR-AAU-SW-P5

ECDAR-AAU-SW-P5's repositories

The ProtoBuf classes used for the intercommunication of the ECDAR subsystems

000

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

Language:Rust800

A Rust DBM Library for the verification engines of ECDAR

Language:RustGPL-3.0000

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

Language:TypeScriptMIT000

Common test framework for the Ecdar engines

Language:Kotlin000

Common ECDAR stuff used by different repositories.

Language:JavaScriptMIT000

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

MIT000