我正在尝试对Frama-C开源项目进行一些试验，并希望在Windows 7计算机上安装这些工具。以前的版本似乎具有Windows的二进制安装程序，但最新版本的Nitrogen仅具有可用的源代码。项目frama-c.com的网站说这些应该可用，但我在他们的下载页面上看不到它们。二进制安装程序在其他地方可用吗？
最佳答案
您会发现here说明来安装Frama-C Nitrogen的二进制版本，这是撰写本文时的最新版本。它安装在较旧版本的Boron之上，并将其升级为Nitrogen。
关于ocaml - Frama-C Windows Binary是否可用？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/8694976/