UPPAAL 4.0.6
UPPAAL modelleme, doğrulama ve veri türleri ile uzatılabilir zamanlanmış otomata ağlar, (sınırlı tamsayılar, diziler, vb) olarak modellenen gerçek zamanlı sistemlerin doğrulanması için entegre bir araç ortamıdır.UPPAAL CORA VHS ve AMETIST projelerinin bir...