3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.DC2016
A Framework for Certified Self-Stabilization
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…
math.LO2011★ 3 cited
On the Generation of Positivstellensatz Witnesses in Degenerate Cases
David Monniaux, Pierre Corbineau
One can reduce the problem of proving that a polynomial is nonnegative, or more generally of proving that a system of polynomial inequalities has no solutions, to finding polynomia…