Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker

Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando. Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker. Fundamenta Informaticae, 178(4):347-378, 2021. [doi]

Abstract

Abstract is missing.