Frama-C Windows二进制可用吗？

Question

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

Answer 1

您可以在此处找到安装Frama-C Nitrogen二进制版本的说明，这是撰写本文时的最新版本。 它安装在较旧版本的Boron之上，并将其升级为氮气。