Entries from 2011-01-12 to 1 day

MacBookAir欲しい日記改めSpinを使ったモデル検査入門

明けましておめでとうございます.今日はMacBookが欲しいので日本語の情報がちょっと少ないので,修論関係で触っているモデル検査ツール,Spinについて軽くまとめてみます. モデル検査とは 厳密さに欠ける言い回しでアレですが,「間違いなく正しく動くソフ…