Search Results for author: Peter Müller

Found 2 papers, 0 papers with code

Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification

no code implementations9 Oct 2020 Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David Basin

The main technical contribution of our work is a formal framework that soundly relates event-based system models to program specifications in separation logics, such that successful verification establishes a refinement relation between the model and the code.

Logic in Computer Science

Cannot find the paper you are looking for? You can Submit a new open access paper.