読者になる

俺の Colimit を越えてゆけ

トップ > TLA+

TLA+

2020-06-29

分散合意アルゴリズム Raft を TLA+ で検証する

TLA+

分散合意アルゴリズム Raft を形式仕様記述言語の TLA+ を用いて検証する手順を紹介します。

2020-05-01

A Proof for Log Matching Property of Raft

Coq TLA+

分散合意アルゴリズム Raft の Log Matching Property について可能な限り形式的な証明をしました。

プロフィール
id:hitotakuchan id:hitotakuchan はてなブログPro
読者です 読者をやめる 読者になる 読者になる
このブログについて
最新記事
  • 分散合意アルゴリズム Raft を TLA+ で検証する
  • A Proof for Log Matching Property of Raft
  • ナンプレ(数独)は難しさを定義するのが難しい
  • 大学数学の個別指導を始めます
  • Steve Awodey の Category Theory を読む : Chapter 10
注目記事
月別アーカイブ
  • ▼ ▶
    2020
    • 2020 / 6
    • 2020 / 5
    • 2020 / 3
  • ▼ ▶
    2017
    • 2017 / 5
  • ▼ ▶
    2016
    • 2016 / 11
    • 2016 / 9
    • 2016 / 7
    • 2016 / 6
    • 2016 / 5
    • 2016 / 4
    • 2016 / 3
    • 2016 / 2
    • 2016 / 1
  • ▼ ▶
    2015
    • 2015 / 12
検索
俺の Colimit を越えてゆけ 俺の Colimit を越えてゆけ

Powered by Hatena Blog | ブログを報告する

引用をストックしました

引用するにはまずログインしてください

引用をストックできませんでした。再度お試しください

限定公開記事のため引用できません。

読者です 読者をやめる 読者になる 読者になる