2022-05-01から1日間の記事一覧
Reference: Baier, Christel, and Joost-Pieter Katoen. Principles of Model Checking, MIT Press, 2008. Lemma 3.27の証明は, もう少し見通しよくできると思う。 Def. . 直感的には は を prefix にもつword 全体の集合である. この記法から, LT property …
Reference: Baier, Christel, and Joost-Pieter Katoen. Principles of Model Checking, MIT Press, 2008. Lemma 3.27の証明は, もう少し見通しよくできると思う。 Def. . 直感的には は を prefix にもつword 全体の集合である. この記法から, LT property …