t-lohse / j-ecdar Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ecdar/j-ecdar
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.
License: MIT License