7 citations · 12 across the 4 of their papers we have counts for
1 paper · 2 filters
Karine Altisen, Pierre Corbineau, Stephane Devismes
We propose a general framework to build certified proofs of distributed self-stabilizing algorithms with the proof assistant Coq. We first define in Coq the locally shared memory m…