UPPAAL 4.0.6
UPPAAL est un environnement intégré d'outils pour la modélisation, la validation et la vérification des systèmes temps réel modélisés comme des réseaux d'automates temporisés, étendus avec des types de données (entiers bornés, des tableaux,...