我正在尝试安装JML，并在尝试各种eclipse发行版后成功 但我收到这个错误： （使用eclipse-java-indigo-SR2-win32） 我使用菜单时出现错误：JML＆gt;静态检查（ESC）
未指定可执行文件 - 使用-exec或定义openjml.prover 请提供一些帮助
答案 0 :(得分：2)
实际上我必须下载Windows操作系统的证明器可执行文件 然后创建文件夹并将exe放入其中（C：\ Java \ CVC4） 然后在Eclipse中
窗口＆gt;偏好＆gt; JML＆gt; JML解算器＆gt; CVC Browser按钮找到了 以上cvc4可执行路径C：\ Program Files \ Java \ cvc4 \ cvc4-1.3-win32-opt.exe 之后它工作正常
