UPPAAL 4.0.6
UPPAAL este un mediu instrument integrat pentru modelarea, validare și verificare a sistemelor în timp real modelat ca rețele de automate temporizate, acordate cu tipuri de date (numere întregi delimitate, tablouri, etc.).UPPAAL CORA este o ramură a...