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.


git e-mail Informatik Studium video Sport bloggen HP35s 35c3 server pdf raspberrypi Windows Latex Funktionen Text admin das-labor importiert audio gamejam esp8266 ccc game-engine Spaß Clonezilla wiki cloud ldl TV Termin Datenbank Tools Linux RSS software Konferenz hardware buch screencast hacking Linkliste Kino Twitter c't programmierung Film kunst ctf Dortmund Gesellschaft Taschenrechner Second Life Geschichten Chat Bilder Tafelbild python Mathe Tipp podcast Comic 34c3 JavaScript Spiele llm bildung ldlmooc Wissenschaft fun lernen mooc