『CockroachDB から覗く形式手法の世界 #JTF2021w / July Tech Festa 2021 winter』へのコメント

TLA+がなんか俺のしってる文法と違うぞ、こんなにいろいろかけたの

kuenishi のブックマーク 2021/01/25 09:28

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4697502587457839554/comment/kuenishi" data-user-id="kuenishi" data-entry-url="https://b.hatena.ne.jp/entry/s/speakerdeck.com/ytaka23/july-tech-festa-2021-winter" data-original-href="https://speakerdeck.com/ytaka23/july-tech-festa-2021-winter" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fspeakerdeck.com%2Fytaka23%2Fjuly-tech-festa-2021-winter" data-user-icon="/users/kuenishi/profile.png">CockroachDB から覗く形式手法の世界 #JTF2021w / July Tech Festa 2021 winter</a><br><p style="clear: left">TLA+がなんか俺のしってる文法と違うぞ、こんなにいろいろかけたの</p><a class="datetime" href="https://b.hatena.ne.jp/kuenishi/20210125#bookmark-4697502587457839554"><span class="datetime-body">2021/01/25 09:28</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

CockroachDB から覗く形式手法の世界 #JTF2021w / July Tech Festa 2021 winter

speakerdeck.com/ytaka232021/01/24

July Tech Festa 2021 winter で使用したスライドです。バグのない分散システムの設計は果たして可能でしょうか？この問いに対する一つの答えとして、CockroachDB では形式手法ツール TLA+ を用いて分散トラン...

88 人がブックマーク・7 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

CockroachDB から覗く形式手法の世界 #JTF2021w / July Tech Festa 2021 winter

はてなブックマーク

公式Twitter

はてなのサービス