Skip to content
Snippets Groups Projects
Normal view Permalink
2022-12-07-lab.md 650 B
Newer Older
Teresa Carbajo-Garcia's avatar
Add new file
Teresa Carbajo-Garcia committed
1 2 3 4 
---
title: Gillian lab, Scalable Software Verification course
---
Teresa Carbajo-Garcia's avatar
Update 2022-12-07-lab.md  
Teresa Carbajo-Garcia committed
5 
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.
Teresa Carbajo-Garcia's avatar
Add new file
Teresa Carbajo-Garcia committed
6
Teresa Carbajo-Garcia's avatar
Update 2022-12-07-lab.md  
Teresa Carbajo-Garcia committed
7 
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.