Extending Dafny to concurrency
: Owicki-Gries style program verification for the Dafny program verifier

  • P.E.J.G. Denissen

Student thesis: Master

Abstract

Date of Award27 Nov 2017
Original languageEnglish
SupervisorRuurd Kuiper (Supervisor 1) & Cornelis (Kees) Huizing (Supervisor 2)

Cite this

Documents

'