Students on the 4th year, MEng and MSc course [Scalable Software Verification}(https://vtss.doc.ic.ac.uk/teaching/separationlogic.html) took part on a hands on session on Gillian, where they tried out the tool using a new debugger interface developed by Nat Karmios over the past year.
During the lab, students used Gillian to test a range of set examples, putting in practice their testing and verification skills and getting real world experience of using symbolic analysis tools. Feedback from the students attending the lab was very positive and the plan is to run the lab again soon.
