Hallo Inforz, können bitte die, die Herrn Katzenbeisser am Freitag interviewen, mal speziell beim Inhalt von TS im nächsten Semester nachhaken? Das hält er ja dieses WS, alleine. Wenn ich mir die Beschreibung im VV/MHB [1] anschaue, scheint mir der Suri-Teil fast komplett rausgefallen zu sein (das Fachgebiet gibts doch weiter?). Stattdessen ist (bedingt durch persönliches Wissen auf dem Gebiet oder Nähe zur eigenen Forschung?) ein großer Abschnitt "Formale Modellierung und Verifikation" reingekommen. Sieht erstmal so aus, als ob da Stoff von FoC (nach Mantel, nicht nach Weihe) reingezogen wurde, haben die das abgesprochen? Der Model-Checking-Punkt aus FGdI 3 sollte ja kein Problem sein, Walther wolle das ja erstmal nicht mehr da machen. Gruß Thomas Pilot [1] http://www.informatik.tu-darmstadt.de/Dekanat/cgi-bin/mhb/scripte/show_no.cg...