Ecdar

Ecdar is an abbreviation of Environment for Compositional Design and Analysis of Real Time Systems

The original ecdar (version 0.10 can be found here ecdar.cs.aau.dk)

The current release of Ecdar 2 only contains a new GUI utilizing the existing backend.

Releases:

Student reports about Ecdar

Comments are closed.