• Introducere
• Verificari sistem rutier
  • Metoda empirica
  • Metoda rationala
• Rezultate