y_taka_23 https://blog.hatena.ne.jp/y_taka_23/ チェシャ猫の消滅定理 https://ccvanishing.hateblo.jp/ こんにちは、チェシャ猫です。先日行われた第 7 回 Web System Architecture 研究会で形式手法について発表してきました。 普段、形式手法について登壇する際は具体例な検証例を出すことが多いですが、今回は理論側に寄せたサーベイになっています。 はじめに 本セッションでは、安全性-活性分解 (safety-liveness decomposition) と呼ばれる一連の結果について解説する。安全性-活性分解は、システムの仕様が与えられた時、それを安全性 (safety) および活性 (liveness) と呼ばれる、よりシンプルな特徴付けを持つクラスに分解して扱うための方法論で… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fccvanishing.hateblo.jp%2Fentry%2F2020%2F11%2F14%2F214355" title="安全性-活性分解定理とその関連研究 - チェシャ猫の消滅定理" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/y/y_taka_23/20201114/20201114205820.png Hatena Blog https://hatena.blog 2020-11-14 21:43:55 rich https://ccvanishing.hateblo.jp/entry/2020/11/14/214355 1.0 100%