formal modelling

Formal modelling and verification

Next laboratory (on Tuesday, 12. October 2013) will be about formal modelling.

Please download UPPAAL tool ( which is free for academic use and bring it to the next lesson (if possible).

Please read the short introduction! You can find it in the Course materials:



Syndicate content