activity
20052026
most citedDivide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence

12 citations · 88 across the 34 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.LO2026

Just Verification of Mutual Exclusion Algorithms with (Non-)Blocking and (Non-)Atomic Registers

Rob van Glabbeek, Bas Luttik, Myrthe Spronck

We verify the correctness of a variety of mutual exclusion algorithms through model checking. We look at algorithms where communication is via shared read/write registers, where th…