GitHub repository: Ecdar-SW5/Ecdar-GUI
Primary language: Java
Description: A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)