Département d'ingénierie informatique

Accueil | Bienvenue | Enseignement |  Research   |Actualité |Miscellaneous |

Project leader : B. Le Charlier

Researcher : I. Dony

Collaborations :

• R. Collet (INGI, UCL, Belgium),
• J.-F. Raskin (Research Group in Fromal Methods and Verification, ULB, Belgium).

Framework: Centre Fédéré en Vérification fund by the FNRS.

Description :

We develop computer tools to support teaching rigorous programming methods based on invariants, specifications and decomposition in sub-problems.

We have developed a program verification system in Oz. The system has been experienced by a student. This allowed us to draw some conclusions on improvements that could be brought to the system. Some optimizations have already been implemented in the system.