Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System. - Stefan Bodenmüller; Gerhard Schellhorn; Martin Bitterlich; Wolfgang Reif (Logic, Computation and Rigorous Methods, 2021)

Software & System Verification with KIV. - Gerhard Schellhorn; Stefan Bodenmüller; Martin Bitterlich; Wolfgang Reif (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

Separating Separation Logic - Modular Verification of Red-Black Trees. - Gerhard Schellhorn; Stefan Bodenmüller; Martin Bitterlich; Wolfgang Reif (VSTTE, 2022)