Martin Bitterlich

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 3

Top Topics

Signature Verification

Continuous Media

Software Package

Top Venues

The Logic of Software. A Tasting Menu of Formal Methods

Logic, Computation and Rigorous Methods

Publications

Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif
Software & System Verification with KIV. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif
Separating Separation Logic - Modular Verification of Red-Black Trees. VSTTE (2022)
Stefan Bodenmüller, Gerhard Schellhorn, Martin Bitterlich, Wolfgang Reif
Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System. Logic, Computation and Rigorous Methods (2021)