我希望做一些Frama-C开源项目的实验,并希望在Windows 7机器上安装这些工具.看起来以前的版本有Windows的二进制安装程序,但最新版本的氮只有源代码可用.该项目的网站frama-c.com说这些应该可用,但我没有在他们的下载页面上看到它们.二进制安装程序在其他地方可用吗？
ocaml frama-c
frama-c ×1
ocaml ×1