Ecdar stands for Environment for Compositional Design and Analysis of Real Time Systems.
Development
The project is open source and hosted on GitHub
Community
Currently the communication around Ecdar and its development happens on Discord: Ecdar discord community invite link
Research
A list of publications involving Ecdar can be found at http://ulrik.blog.aau.dk/ecdar/
Download
Screenshot
