Formal methods on some PoS stuff – Yoichi Hirai – Medium
Formal methods on some PoS stuffIn Paris, I received a description of a distributed consensus mechanism. If the description below looks ambiguous or impenetrable, this post is for you. I banged my head to formal verification tools called Alloy and Isabelle/HOL to clarify my understanding (code). Here is the description: Message types:* commit(HASH, view), 0 <= view * prepare(HASH, view, view_sourc
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ソフトウェア開発を工学にする形式手法の紹介 - formal_methods.pdf
