Date of Award | 27 Nov 2017 |
---|---|
Original language | English |
Supervisor | Ruurd Kuiper (Supervisor 1) & Cornelis (Kees) Huizing (Supervisor 2) |
Extending Dafny to concurrency: Owicki-Gries style program verification for the Dafny program verifier
Student thesis: Master