Goodies

• The RSS is computed once for all

• On-line RSS trace display

• FSM statistics

• Extracted paths playable in Xes

• A textual format for BDDs: bddf

  • to save any FSM and its BDDs
  • to reload any saved FSM in Xeve

Diapositive précédente

Diapositive suivante

Revenir à la première diapositive

Afficher la version graphique