Skip to content
Snippets Groups Projects
Commit e459889b authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update 2022-12-07-lab.md

parent 6af7e805
No related branches found
No related tags found
No related merge requests found
Pipeline #342607 failed
Stage: build
Stage: deploy
Hide whitespace changes
Inline Side-by-side
_posts/2022-12-07-lab.md
+ 1
− 3
View file @ e459889b
...@@ -4,6 +4,4 @@ title: Gillian lab, Scalable Software Verification course ...@@ -4,6 +4,4 @@ title: Gillian lab, Scalable Software Verification course
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. 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.
https://gitlab.doc.ic.ac.uk/verified-software/psvg.doc.ic.ac.uk/-/blob/d25b8bcd8c270bf5666d33fd109a2ca05be82263/images/posts/Gillian_Lab.jpg 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.
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.
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment