Welcome to the Esterel Verification Environment


What is Xeve ?

Xeve is a graphical interface environment for the (symbolic) analysis and verification of Esterel programs modeled as Finite State Machines (FSM). It is developed jointly by INRIA and Ecole des Mines/CMA as part of the TICK research project (coming from the MEIJE project)

Its main features are:

Some pictures of Xeve.

Around Xeve

Tools that are connected to Xeve as front-ends or back-ends, or as complementary tools: WWW pages related to Xeve:

For any request, remark, experience, send email to esterel-team@sophia.inria.fr Bugs, usage problems should be reported to esterel-bugs@sophia.inria.fr