QuickSilver: modeling and parameterized verification for distributed agreement-based systems

Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni 0001, Roopsha Samanta. QuickSilver: modeling and parameterized verification for distributed agreement-based systems. Proceedings of the ACM on Programming Languages, 5(OOPSLA):1-31, 2021. [doi]

Abstract

Abstract is missing.