From df8ab454657039940263d038e26f67b38273c1f1 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Sun, 11 Dec 2022 19:51:57 +0000
Subject: [PATCH] Add new file

---
 _posts/2022-12-07-Lab.ms | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 _posts/2022-12-07-Lab.ms

diff --git a/_posts/2022-12-07-Lab.ms b/_posts/2022-12-07-Lab.ms
new file mode 100644
index 0000000..0b2be6e
--- /dev/null
+++ b/_posts/2022-12-07-Lab.ms
@@ -0,0 +1,7 @@
+---
+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) 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.
-- 
GitLab