先日、毎年恒例のなごや LT 大会 NGK2016B / 名古屋合同懇親会 2016 忘年会 で発表してきました。 机上の Kubernetes - 形式手法で見るコンテナオーケストレーション #NGK2016B from y_taka_23 www.slideshare.net 当日の動画は NGK 2016B LT #2 - YouTube から見ることができます。 ちなみに NGK での発表は 4 年連続 4 回目です。今回も含めてすべてモデル検査が題材になっています。 NGK2013B : Alloy ではじめる簡単モデル検査 NGK2014B : 猫でもわかる! モデル検査器 SPIN 入門 (ブログ記事) NGK2015B : AWS は形式手法の夢を見るか? - モデル検査器 Alloy によるインフラ設計 (ブログ記事) Kubernetes に関わる役者たち さすがに 5
![NGK2016B で Kubernetes + Alloy について話してきました - チェシャ猫の消滅定理](https://cdn-ak-scissors.b.st-hatena.com/image/square/8dc3021f61ab1720be0d89e222679ed0fe028459/height=288;version=1;width=512/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fy%2Fy_taka_23%2F20161219%2F20161219052801.png)