Research Activities

• An abstract of my research activities until now (in french, sorry about that).
• Home page of CiME, the rewrite toolbox of we make here in DEMONS team.
• Home page of the Krakatoa tool, to perform verification of Java programs with respect to their JML specification.

• The CiME ATIP Project of CNRS.
• The VERIFICARD European Project and the local page I maintain.

• The CCL'99 Summer School