情報科学屋さんを目指す人のメモ(FC2ブログ版)

何かのやり方や、問題の解決方法をどんどんメモするブログ。そんな大学院生の活動「キャッシュ」に誰かがヒットしてくれることを祈って。

Java Pathfinder(JPF)のインストール手順詳細 このエントリーを含むはてなブックマーク

Java Pathfinder はJava用のモデル検査ツールで、実行することなくデッドロックが発生するスレッドの実行順序を発見したり、例外の発生する可能性を検出することが出来ます。

このJava Pathfinderはインストールがすこし面倒なので、インストールしたときのメモを公開しておきます。

スポンサーサイト
Java | コメント:0 | トラックバック:0 | 編集
 | HOME |