NicklasHugoy/j-Ecdar
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.
JavaMIT
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.
JavaMIT