はてブログ

はてなブックマーク新着エントリーの過去ログサイトです。



タグ July Tech Festa 2018

新着順 人気順 5 users 10 users 50 users 100 users 500 users 1000 users
 
(1 - 1 / 1件)
 

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

2018/07/29 このエントリーをはてなブックマークに追加 169 users Instapaper Pocket Tweet Facebook Share Evernote Clip jtf2018 分散システム Spin 特定 https

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

 
(1 - 1 / 1件)