Anna and I are running a three-week, intensive, first-year course in which the students use Uppaal to make models of computing systems and games, and to analyze them using the verification capabilities of that excellent tool. The students find it very easy to use the tool, and can start solving modelling and verification problems with it in a jiffy.
One of the groups of students taking the course delivered a neat video with their solution to one of the problems we posed them. It is the first time I ever received a video as part of a student report. I expect that this will be the first of many.