Watch Navigation./Lidl2Lus

A Compiler from LIDL(Lidl Interaction Description Language) to Lustre

Watch Navigation./Lidl Eclipse Plugin

A Lidl Eclipse Plugin based on TMF (Xtext), providing basic IDE features for Lidl Interaction Description Language.

Watch Navigation./BPMN2TA2

Watch Navigation./LTLGenerator

Watch Navigation./Shadow-Light