Übungsblatt 12
Bonusaufgabe
Modellieren Sie die Straßenkreuzung aus Blatt 11 als endlichen Zustandsautomat. Implementieren Sie das Modell in NuSMV, und untersuchen Sie, ob ihre Sicherheitseigenschaften erfüllt sind.
Senden Sie ihre NuSMV Implementierung an martin (punkt) ring (klammeraffe) dfki (punkt) de. Das Ergebnis der Bonusaufgabe kann das schlechteste Übungsblatt ersetzen, und somit die Note verbessern.