Completed master's theses (2019)

Title Author Supervisor(s) sensors Date of submission

Timed Linear Temporal Logic of Rewriting Model Checking for Real-Time Maude

Tore Norderud Peter Csaba Ölveczky   May 2019
Partially Ordered Sets with Interfaces: A Novel Algebraic Approach for Concurrrency Ratan Bahadur  Thapa Christian Johansen, Martin Steffen, Uli Fahrenberg (Ecole Politechnique)   May 2019

Verification of Haskell programs using Liquid Haskell

Morten Aske Kolstad Martin Steffen   Dec. 2019
Published May 18, 2019 10:10 AM - Last modified Dec. 18, 2019 7:16 AM