Kategorijos: Kūrėjo įrankiai, Kokybės užtikrinimo ir testavimo įranga
UPPAAL 4.0.6
UPPAAL yra integruotas įrankis aplinka modeliavimo, patvirtinimo ir tikrinimo realaus laiko sistemų modeliuojama kaip tinklų trukmės automatų išplėstinė su duomenų tipų (apribojimas sveikieji skaičiai, matricos ir tt).UPPAAL CORA yra UPPAAL filialas...