This is a web service demonstrating the FIACRE to LOTOS translation written in ATL. More information (including source code) is available on the page of the "Compiling a new formal verification language to LOTOS (ISO 8807)" ATL Use Case. The current version is limited to the translation of types (array, enum, interval, and record). Note that anonymous types are also not handled.

This work is the result of the cooperation of two INRIA teams: ATLAS (Nantes) and VASY (Grenoble), in the context of the OpenEmbeDD project.

We would like to thank Marc Pantel (Toulouse) from the TopCased project, and Christian Attiogbé from the COLOSS team (Nantes) for their advice.