UPPAAL 4.0.6
UPPAAL je integrované prostředí nástroj pro modelování, validaci a verifikaci real-time systémů modelovány jako sítě časovaných automatů, rozšířených s datovými typy (ohraničených celých čísel, pole, atd.)UPPAAL CORA je pobočkou UPPAAL pro nákladově...
