Formal Verification of Distributed Algorithms
From MaRDI portal
Publication:2915172
DOI10.1007/978-3-642-33475-7_15zbMath1362.68285OpenAlexW2255516524MaRDI QIDQ2915172
Philipp Küfner, Uwe Nestmann, Christina Rickmann
Publication date: 21 September 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33475-7_15
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms ⋮ Certification of an exact worst-case self-stabilization time ⋮ Squeezing streams and composition of self-stabilizing algorithms ⋮ A Framework for Certified Self-Stabilization ⋮ Mechanical Verification of a Constructive Proof for FLP
This page was built for publication: Formal Verification of Distributed Algorithms
