モデル検査のための抽象化の話。超書きっぱなし。 かの Dams さんは、もともとの実装を完璧に真似たモデルを concrete transition model, 適当に抽象化したものを abstract transition model と呼ぶらしい。で、そのモデルの間の関係を考える。抽象化を行っ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。