kann man jetzt auf den neuen Seiten des Lehrstuhls 5 der Uni Dortmund sehen. Insbesondere wurde dem Tool, an dessen Entwicklung ich mit beteiligt bin (dem jABC), eine eigene Seite entwickelt. Auf dieser Seite gibt es etwas zu dem Modelchecker zu bewundern, den ich mit Clemens zusammenstricke. Eine kleine Hilfe, einführende Literatur und natürlich eine Webstart-Umgebung, mit der man den Client starten kann, sind auch vorhanden. Wer sich für das Thema interessiert, sollte also durchaus mal dort vorbeischauen.