Frama-C Windows Binary Available?

Question

I am looking to do some experimenting with the Frama-C open source project and would like to install the tools on a Windows 7 machine. It looks like previous versions have binary installers for Windows, but the latest version, Nitrogen, only has the source code available. The website for the project frama-c.com says that these should be available but I don't see them on their download page. Are binary installers available somewhere else?

Answer 1

You will find here instructions to install a binary version of Frama-C Nitrogen, the latest version as of this writing. It installs on top of the older version Boron, and upgrades it to Nitrogen.