Two Online Tools

by Kacper Bąk on September 27, 2011

The website got updated with two online tools. You can try them without having to download and compile source code. CDL to Clafer translator takes an eCos' variability model specified in the CDL language and outputs corresponding Clafer model. We believe the Clafer model is easier to read and comprehend. It is also analyzable by SAT/SMT solvers.

The Clafer to Alloy translator became more universal and is no longer limited to Alloy. As a first step, the new translator can output processed Clafer models in XML format to ease model interchange with other tools.

Tags:

In our lab, people rarely work alone - we collaborate a lot with each other as well as with external researchers and our industry partners.

Michal Antkiewicz

This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.

Jesús Alejandro Padilla Gaeta