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ł...