Dennis van der Zwet - Specifying a Concurrent Program in Java using Separation Logic

author:Dennis van der Zwet
title:Specifying a Concurrent Program in Java using Separation Logic
keywords:Verification, Formal Methods, Ski lift case study
topics:Case studies and Applications, Algorithms and Data Structures
committee:dr. W.I. Mostowski (1st supervisor)
prof.dr. M. Huisman
graduation date:January 2015 (mark: 6)


Abstract

Additional Resources