Java Path finder：如何通过命令终端访问它？

Question

我是Java新手。我必须检测java（KLOC）程序中的错误。我正在使用Java Path finder。我通过命令行cmd运行它。使用命令

java -jar build/RunJPF.jar  C:\Users\xxx\yyy\src\main\java\zzz.jpf

我想知道，我怎么能：

1. 获得竞争条件
2. 检测到死锁
3. 验证控制
4. 验证控制JPF，搜索
5. 检查数字扩展

全部在命令行中？ 如果可以使用示例回答上述问题，那将非常有用。

由于