BEval:BEval是一个工具，可通过ProB使用不同的参数来系统化AtelierB中B表达式的求值

比瓦尔 用户安装步骤 BEval要求： 4.1 ， 1.3.6和 1.7 。 BEval与OS X和Linux兼容； 它有这个。 按着这些次序： 查找您的系统上AtelierB的安装位置。 让$ ABDIR表示此位置（在OS X上通常为/Application/AtelierB.app/；在Linux上通常为/ opt / AtelierB）。 查找系统上probcli（ProB命令行界面）的安装位置。 让$ PROBDIR表示此位置。 令$ EXTDIR表示最终路径（$ ABDIR / AB /扩展名）。 下载文件并将其安装在$ EXTDIR中。 打开一个终端，然后发出以下命令： cd $EXTDIR; java -jar BEval.jar --install cd $EXTDIR; java -jar BEval.jar --install其中$ EXTDIR如上所