Kommentar |
Es werden vor allem automatenbasierte Ansätze zur Spezifikation und Analyse nebenläufiger Systeme vorgestellt. Es werden folgende Themen behandelt: kommunizierende Automaten, synchrone und asynchrone Automatenkommunikation, Transitionssysteme, automatenbasierte Erreichbarkeitsanalyse, erschöpfende und partielle Exploration; Übersicht über die Spezifikations- und Beschreibungssprache SDL; Einführung in Timed Automata und das Werkzeug UPPAAL, Model Checking, Deadlock, Safety, Liveness; Einführung in Prozessalgebra, Labeled Transition Systems (LTS). |