分散システム、本当に「正しく」開発できますか? #JTF2018 / July Tech Festa 2018

分散システム、本当に「正しく」開発できますか? #JTF2018 / July Tech Festa 2018

July Tech Festa 2018 で使用したスライドです。二相コミットを例として、分散アルゴリズムの検証にモデル検査を使用する手法について解説しています。また、代表的なモデル検査ツールである SPIN、TLA+、P について、同じシステムを各ツールで記述してみることでその特定の違いについて学びます。

イベント概要:https://2018.techfesta.jp/speakers#C40
ブログ記事:http://ccvanishing.hateblo.jp/entry/2018/08/01/055608

332f89cc697355902a817506b6995f2b?s=128

y_taka_23

July 29, 2018
Tweet