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,...
UPPAAL TIGA est une extension de UPPAAL [BDL04] et il met en œuvre le premier algorithme on-the-fly efficace pour résoudre des jeux basés sur chronométré automates de jeu par rapport à joignabilité et de sécurité des propriétés.Bien que les jeux...
xmmsctrl est un petit utilitaire pour contrôler xmms depuis la ligne de commande. L'objectif de xmmsctrl doit être utilisé couplé avec sh pour tester l'état xmms et effectuer une action appropriée, par exemple si vous jouez ensuite suspendre la...