Existing techniques & tools

• Model checking

• Intensive simulation

• Test generation

  • Example of the TGV tool

Formal Description Techniques are necessary

Diapositive précédente

Diapositive suivante

Revenir à la première diapositive

Afficher la version graphique