xmmsctrl è una piccola utility per controllare xmms dalla riga di comando. L'obiettivo di xmmsctrl deve essere utilizzato insieme con sh per testare lo stato xmms ed eseguire l'azione appropriata, ad esempio, se si riproduce poi mettere in pausa...
UPPAAL TIGA è un'estensione di UPPAAL [BDL04] e implementa la prima efficiente algoritmo di on-the-fly per risolvere giochi basati su automi gioco a tempo rispetto alla raggiungibilità e sicurezza proprietà.Anche se partite a tempo per una lunga sono...
UPPAAL è un ambiente strumento integrato per la modellazione, la validazione e la verifica di sistemi real-time modellati come reti di automi temporizzati, esteso con tipi di dati (interi delimitate, array, ecc.)UPPAAL CORA è una branca della UPPAAL per...