UPPAAL - Darmowe oprogramowanie do pobrania Dla Linux W Zapewnienia jakości i testowania oprogramowania

UPPAAL 4.0.6

UPPAAL to zintegrowane środowisko narzędziem do modelowania, walidacji i weryfikacji systemów czasu rzeczywistego modelowanych jako sieci automatów czasowych, rozbudowane typy danych (tablice ograniczonych liczb całkowitych, etc.).UPPAAL CORA jest oddział...