Caching, crashing & concurrency : verification under adverse conditions

von Bodenmüller, Stefan
Veröffentlicht 2022

Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch

von Bodenmüller, Stefan
Veröffentlicht in iFM (16. : 2020 : Online) Integrated formal methods (2020)

Adding Concurrency to a Sequential Refinement Tower

von Schellhorn, Gerhard
Veröffentlicht in ABZ (Veranstaltung : 7. : 2020 : Ulm) Rigorous state-based methods (2020)

A Fully Verified Persistency Library

von Bodenmüller, Stefan
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking, and abstract interpretation ; Part 2 (2024)