2 papers
cs.PL2022
Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems
Christopher Wagner, Nouraldin Jaber, Roopsha Samanta
The ubiquity of distributed agreement protocols, such as consensus, has galvanized interest in verification of such protocols as well as applications built on top of them. The comp…
cs.LO2019
Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)
Kirstin Peters, Christoph Wagner, Uwe Nestmann
The additional complexity caused by concurrently communicating processes in distributed systems render the verification of such systems into a very hard problem. Multiparty session…