这是正常的：您正在尝试启动通常由Shell发出的命令。
在这里，
<proof.in和
>proof.out作为
otter可执行文件的文字参数，而不是shell重定向。但是查看该工具的主页将无法正常工作：它需要标准输入，通常由重定向提供。
您需要通过外壳（最好使用流程构建器）启动此命令：
final ProcessBuilder pb = new ProcessBuilder("/bin/sh", "-c", "otter <proof.in >proof.out");final Process p = pb.start();等等等
当然，您还应该确保该程序从正确的目录运行-幸运的是，
ProcessBuilder还允许您执行此操作。
