Vortrag im Seminar Spezifikation und Verifikation verteilter Systeme bei Peter Massuthe (18. Januar 2005)
Nachdem im 1. Vortrag zu TLDC (1. Dezember 2004) noch das Parsen von TLDA-Formeln im Mittelpunkt stand, wird in diesem Vortrag mehr auf den Aktionsbegriff, sowie den Aufbau des Erreichbarkeitsgraphen, der dem durch eine TLDA-Formel modelliertem System zugrunde liegt, eingegangen. Außerdem wird kurz in Model Checking eingeführt, sowie der aktuelle Stand von TLDC beschrieben.
Dateien
- Folien (PDF-Dokument, 21 Folien, 230 KB)
letzte Kommentare