UPPAAL 4.0.6
UPPAAL modelləşdirmə, dəyərləndirmə və məlumat növləri ilə uzadıla təyin avtomatlar şəbəkələr, (həmsərhəddir integers, diziler, və s.) Kimi modelləşdirilmişdir real-time sistemlərinin yoxlanılması üçün vahid vasitədir mühit.UPPAAL CORA VHS və Ametist...