UPPAAL - Ingyenesen letölthető szoftver Mert Linux -ben Minőségbiztosítás és tesztelés szoftver

UPPAAL 4.0.6

UPPAAL egy integrált eszköz környezet modellezésére, a hitelesítésre és a valós idejű rendszerek modellezhetők hálózatok időzített automaták, kibővítve adattípusok (korlátos egész számok, tömbök, stb).UPPAAL CORA egyik ága a UPPAAL a költséghatékony...