xmmsctrl είναι ένα μικρό βοηθητικό πρόγραμμα για να ελέγχετε το XMMS από τη γραμμή εντολών. Στόχος xmmsctrl είναι να χρησιμοποιηθεί σε συνδυασμό με sh για να ελέγξετε XMMS κατάσταση και να εκτελέσει μια κατάλληλη δράση, π.χ. αν παίζει συνέχεια παύση άλλο...
UPPAAL TIGA είναι μια επέκταση της UPPAAL [BDL04] και υλοποιεί το πρώτο αποτελεσματικό on-the-fly αλγόριθμο για την επίλυση παιχνίδια που βασίζονται σε χρονικά αυτόματα το παιχνίδι σε σχέση με την προσβασιμότητα και την ασφάλεια ιδιότητες.Αν και έχουν...
UPPAAL είναι ένα ολοκληρωμένο περιβάλλον εργαλείο για τη μοντελοποίηση, την επικύρωση και την επαλήθευση των συστημάτων πραγματικού χρόνου μοντελοποιηθεί ως δίκτυα χρονικά αυτόματα, επεκτείνεται με τύπους δεδομένων (που οριοθετείται ακέραιοι, πίνακες,...