Students on the 4th year, MEng and MSc course Scalable Software Verification attended a lab session on Gillian, a compositional symbolic analysis tool instantiated to JavaScript and C.

Gillian Lab

During the lab, the students tried out the new debugger interface recently developed by Nat Karmios and tested a range of examples, applying the knowledge gained during the course to real live symbolic testing. Feedback from the lab was very positive, and the plan is to run the lab again next year.