-------- Originalnachricht --------
Betreff: Software-Verifikation 2: Kompaktvorlesungen am 9. & 16.1.2016, 9:00-17:00
Datum: 06.01.2016 14:09
Von: Holger Schlingloff <hs@informatik.hu-berlin.de>
An: "wagner@informatik.hu-berlin.de" <wagner@informatik.hu-berlin.de>, belousig@informatik.hu-berlin.de, rafael.moczalla@informatik.hu-berlin.de, zajlerke@hu-berlin.de, roseniki@cms.hu-berlin.de
Antwort an: hs@informatik.hu-berlin.de

Liebe Teilnehmer,

Ich möchte nochmal an die Kompaktvorlesung diesen und nächsten
Samstag (9.1. & 16.1.) erinnern: Wir beginnen jeweils um 9:15
im Raum 4.410, John-v-N-Haus.

Gruß,
HS

--
Prof. Dr. Holger Schlingloff
Inst. f. Informatik, Humboldt-Universität zu Berlin
FhG-FOKUS, Kaiserin-Augusta-Allee 31, 10589 Berlin
Tel: +49 30 3463 7504, mobil: 0151 5186 3563




Am 24.11.2015 um 11:43 schrieb Holger Schlingloff:
> Liebe Teilnehmer,
>
> Nachdem die Eintragung im Doodle inzwischen recht eindeutig ist,
> können wir die Verteilung wie folgt festlegen:
>
> 1. Kevin Zajler: NuSMV
> 2. Rafael Moczalla: SPIN
> 3. Daniel Wagner: UPPAAL
> 4. Igor Belous: IFx-Omega
>
> Im Idealfall stelle ich mir einen Vortrag so vor:
>
> a) kurze Einführung in die Theorie und Funktionalität des Werkzeugs
> b) Vorführen einer der mitgelieferten Demo-Beispiele
> c) Algorithmen, die im Werkzeug implementiert sind
> d) Vorführen eines eigenen (größeren) Beispiels
> e) Erfahrungsbericht mit dem eigenen Beispiel
>
> Jeder Vortrag sollte etwa 90 Minuten lang sein.
>
> Zu den einzelnen Themen:
> 1. NuSMV: bitte nur CTL und die Eingabesprache NuSMV vorstellen
>     (LTL kommt bei 2.), sowie CTL-Modelchecking
> 2. Bitte auf Promela, LTL, State compression und Partial-Order
>     Reduktionen eingehen!
> 3. Bitte auch die diversen UPPAAL-Erweiterungen (Tron, Tiga, Cora, ...)
>     kurz behandeln!
> 4. Bitte erklären welcher UML/SysML Funktionsumfang abgedeckt wird
>     (und insbesondere was nicht abgedeckt ist, und warum)
>
> Gruß,
> HS
>