Deadlock
Verfasst: 23. Nov 2012 17:47
Hallo,
ist es für Teilaufgabe 2 erforderlich, mal in einem Deadlock gewesen zu sein? Unsere Planung hat den Deadlock schon von Anfang an ausgeschlossen, daher haben wir auch keine .trail Datei vom Verifier mit einem Gegenbeispiel. Müssen wir jetzt das Programm nochmal mit einem Deadlock schreiben nur dass wir ein entsprechendes Gegenbeispiel durch den Verifier bekommen?
ist es für Teilaufgabe 2 erforderlich, mal in einem Deadlock gewesen zu sein? Unsere Planung hat den Deadlock schon von Anfang an ausgeschlossen, daher haben wir auch keine .trail Datei vom Verifier mit einem Gegenbeispiel. Müssen wir jetzt das Programm nochmal mit einem Deadlock schreiben nur dass wir ein entsprechendes Gegenbeispiel durch den Verifier bekommen?