Simulator
•
Java Simulator
–
Events generieren und propagieren
–
Verifikation des Konzeptes
•
Mechanismen
•
Protokoll
•
Schwachstellen lokalisieren
–
Vereinfachungen
•
Fehlerfrei
•
Symmetrisch
•
Kleine Latenz