水 - 5 月 21, 2008
rodinインストールに成功
Posted at 03:00 午後 Read More
水 - 5 月 7, 2008
Spin514をインストール
Posted at 09:55 午前 Read More
木 - 1 月 10, 2008
event-Bのツール環境RODINをインストールしようとしたが...
Posted at 02:53 午後 Read More
火 - 1 月 1, 2008
sal-3.0をインストール
Posted at 09:23 午後 Read More
月 - 6 月 11, 2007
証明ツールHOL
4をParalells上のWindows-XPへインストール
Posted at 06:22 午後 Read More
証明ツールHOL
4をインストールした。
Posted at 03:44 午後 Read More
日 - 1 月 21, 2007
xspin428が動いた。
Posted at 12:56 午前 Read More
火 - 1 月 16, 2007
satisifiability check toolのalloy
4.0βをインストール
Posted at 06:39 午後 Read More
金 - 1 月 12, 2007
Mac用の代数仕様記述言語cafeobj-1.4を/usr/localの下にインストール
Posted at 12:14 午後 Read More
水 - 1 月 10, 2007
spin4.2.8をインストールしようとしたが、xspinが「gccは
arch
-xを知らない」といって動かない
Posted at 02:25 午後 Read More
土 - 12 月 9, 2006
ソフトウェア・シンポジウム2007形式手法ワークショップのホームページを作成
Posted at 05:00 午後 Read More
木 - 10 月 19, 2006
LTSA3.0とそのanimation機能をインストール
Posted at 10:31 午後 Read More
月 - 10 月 2, 2006
Software
AbstractionのVDM-SL例に間違い？
Posted at 04:05 午後 Read More
水 - 9 月 13, 2006
モデル検査ツールNuSMVをインストール
Posted at 12:15 午後 Read More
B用の仕様アニメータ兼モデル検査ツールProBをインストール
Posted at 11:43 午前 Read More
|
Quick Links
Calendar
Categories
Archives
XML/RSS Feed
Statistics
Total entries in this blog:
Total entries in this category:
Published On: 6 月 29, 2008 09:06 午後
|