Top Zajištění kvality a testování software Pro Alexandre David

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