CDL to Clafer translator

Insert your CDL model (in IML format) in the text area below, click on Translate and you will get corresponding Clafer model in the bottom text area.

The source code is available on github.

CDL Code:





Clafer Code:


Tags:

Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.

Thiago Tonelli Bartolomei

People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.

Kacper Bąk