Xeve characteristics

• Simplicity of use

  • No temporal logic to learn
    • Mouse-click property specification
    • Esterel as property specification language

• BDD-based engine

  • Has to deal with large industrial problems
  • TiGeR package efficiency

Diapositive précédente

Diapositive suivante

Revenir à la première diapositive

Afficher la version graphique