What is Xeve ?

A verification tool for Esterel with :

• A user friendly graphical interface
• Finite-state model based verification
  • Model minimization
  • Temporal logic property verification by means of synchronous observers
  • Counter-example production to simulate on the source with Xes

Diapositive précédente

Diapositive suivante

Revenir à la première diapositive

Afficher la version graphique