UPPAAL 4.0.6
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...