UPPAAL - Free software download Pentru Linux în De asigurare a calității și de testare software

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