検証ツール
訳あって秋頃から検証系関係の講習をいくつか受けた。
- 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/HOLは敷居が高くて、未だ格闘中。
訳あって秋頃から検証系関係の講習をいくつか受けた。
spinとnusmvは少しは使えるようになったかな。isabelle/HOLは敷居が高くて、未だ格闘中。