Formal modelling and verification

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

Please download UPPAAL tool (http://www.uppaal.org/) 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: https://www.inf.mit.bme.hu/en/edu/courses/materials/critical-embedded-sy...