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:

Research papers:

Student reports and papers about Ecdar

Models

Comments are closed.