Modellierung und Analyse von Echtzeitsystemen (WS 2005/06)

Hörerkreis: Vertiefungslinie
Informatik, Softwaretechnik

Vorlesung:
Mo 11:30-13:00
Raum V38.02

Übung:
Do 11:30-13:00 (14-tägig)
Raum 0.463

Software:

Das folgende System wird in der Vorlesung und den Übungen benutzt:

UPPAAL (siehe auch "INFOBLÄTTER")
Für Übungszwecke zur Vorlesung können Sie das UPPAAL Paket auch hier herunterladen.
[Linux/Windows] [Mac OS X]
(Beachten Sie bitte die Lizenzbestimmungen!)

Weitere Systeme zur Modellierung und Analyse von Echtzeit- und Hybridsystemen:

ASTRÉE

CHARON

CheckMate

HyTech

KRONOS

Verus