私はJavaが初めてです。Java (KLOC) プログラムのバグを検出する必要があります。Javaパスファインダーを使用しています。commandline で実行していcmdます。コマンドの使用
java -jar build/RunJPF.jar C:\Users\xxx\yyy\src\main\java\zzz.jpf
知りたかったのですが、どうすればよいですか：
- レース コンディションを取得する
- デッドロックを検出
- 制御を確認する
- JPFの管理を検証、検索
- 数値拡張のチェック
すべてコマンドラインで？例を使用して上記の質問に答えることができれば、本当に役に立ちます。
ありがとう