The final goal of the project is to develop new analysis tools and to integrate them into a common specification and validation environment.
The work carried out this year constitutes an important step toward this goal: (1) Many new techniques and verification algorithms have been implemented, creating original tools, or extending significantly the scope of existing ones. (2) Tools for finite-state and extended automata have been interfaced with the common description language IF. This allows the extension of the IF environment where SDL can be used as a specification language through a connection between IF and the specification tool Object-Geode of Telelogic.
