Students on them 4th year MEng and MSc course [Scalable Software Verification](https://vtss.doc.ic.ac.uk/teaching/separationlogic.html) attended a lab session on Gillian, a compositional symbolic analysis tool instantiated to JavaScript and C.
Students on the 4th year, MEng and MSc course [Scalable Software Verification](https://vtss.doc.ic.ac.uk/teaching/separationlogic.html) attended a lab session on [Gillian](https://github.com/GillianPlatform), a compositional symbolic analysis tool instantiated to JavaScript and C.
During the lab 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.
