Inhalt

• Einführung
• Grundlagen des Modells
• Beschreibung des Modells
  • Begrenzung des Suchraumes durch formale Sprache
  
  
• Beschreibung des Analyzers
  • Spezifizierung eines Protokolls für den Analyzer
  • Analyse eines Protokolls
  
  
• Einschränkungen des Analyzers
• Anmerkung zum Analyzers
• Literatur
• Über dieses Dokument ...