Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols

Authors

Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, Lars Birkedal,