【前編】モデル検査入門【作ってみよう】

後編 → sm40866923 プログラムの検証をするための手法の一つをご紹介します。この分野に少しでも興味を持っていただけたら嬉しいのです。ソースコードと講義資料： https://github.com/yukatayu/model_checking_example 【訂正】 3:22 　　正： 1 | if(turn == 1-pid){ goto 2 }　　誤： 1 | if(turn == pid){ goto 2 }【お問い合わせ等】twitter： https://twitter.com/yukata_yu

http://www.nicovideo.jp/watch/sm40864910