Rocq Mechanisation of a Theory of Black-Box Monitors for Correct Distributed Deadlock Detection

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Radosław Rowicki, Adrian Francalanza, Alceste Scalas
DOI: 10.5281/zenodo.18671770
Cited by: 0

Abstract

This project mechanises the theory described in the paper "Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation" along with proofs of theorems marked with a rooster. This is an updated version of https://zenodo.org/records/16909482 that supports Rocq 9.0 and contains documentation for the FORTE 2026 submission.

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems Distributed systems and fault tolerance

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
17 February 2026
Language
EN