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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.