Martin Bitterlich

According to our database, Martin Bitterlich authored at least 3 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Separating Separation Logic - Modular Verification of Red-Black Trees.

Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif

Proceedings of the Verified Software. Theories, Tools and Experiments, 2022

Software & System Verification with KIV.

Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System.

Stefan Bodenmüller, Gerhard Schellhorn, Martin Bitterlich, Wolfgang Reif

Proceedings of the Logic, Computation and Rigorous Methods, 2021