ゼミ。新人（B4）研修のためにモデル検査の説明をしました。ほぼ半年前と同じ内容で申し訳ない限りです。新人研修だから簡単にインストールさせたい→SPINはアウト、UPPAALにしよう。課題は簡単にしたい→2ドア問題はUPPAALでは難しいうえにdemoフォルダに解答…