Cutoff Theorems for the Model Checking of Crash-Tolerant Causal Broadcast. - NamvariTazehkand, Leila; Pashazadeh, Saeid; Ebnenasir, Ali (Theory of Computing Systems, 2026)