Section: Bilateral Contracts and Grants with Industry
Modeling a Distributed File System
Participant : Stephan Merz.
In a bilateral contract with Huawei R&D, we continued our work on modeling and verifying protocols underlying the Ceph distributed file system [66] in TLA+. We also provided email support to Huawei engineers who use TLA+ for modeling the systems they develop.