UPPAAL - Logiciel de téléchargement gratuit Pour Linux Dans L'assurance de la qualité et des logiciels de test

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,...