UPPAAL ist eine integrierte Umgebung zum Modellieren, Validieren und Verifizieren von Echtzeitsystemen, die als Netze von zeitgesteuerten Automaten modelliert werden, die mit Datentypen wie Integer mit Grenzen, oder Arrays erweitert werden. Typische Anwendungsgebiete sind Echtzeit-Steuerungen und Kommunikationsprotokolle, besonders diejenigen, in denen das Timing kritisch ist. (hjb)