訳あって秋頃から検証系関係の講習をいくつか受けた。 http://www.il.is.s.u-tokyo.ac.jp/~ishikawa/mcheck/ http://unit.aist.go.jp/cvs/ http://www.jaist.ac.jp/satellite/sate/jyohoshoriron1.html spinとnusmvは少しは使えるようになったかな。isabelle…