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