モデル検査ツールNuSMVをインストール



したものの、READMEファイルなどが不完全で、どう動かして良いかまだ分からない。
また、Pantherでしか動かしていないようだ。

何とか動いたが、コマンドがたくさんあって、Tutorialをよく読まないと、意味が分からない。
また、zchaffやMiniSatはconfigureの時点で、うまく組み込まれていないようだ。

Posted: 水 - 9月 13, 2006 at 12:15 午後          

©