A Framework for Certified Self-Stabilization

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 model with composite atomicity, the most commonly used model in the self-stabilizing area. We then validate our framework...

詳細記述

書誌詳細

主要な著者:	Karine Altisen, Pierre Corbineau, Stephane Devismes
フォーマット:	Artigo
言語:	Inglês
出版事項:	Logical Methods in Computer Science e.V. 2017-11-01
シリーズ:	Logical Methods in Computer Science
主題:	computer science - distributed, parallel, and cluster computing computer science - logic in computer science
オンライン･アクセス:	https://lmcs.episciences.org/2183/pdf
タグ:	タグ追加 タグなし, このレコードへの初めてのタグを付けませんか!