Blog

Frama-C 15 (Phosphorus) released, and open source case studies
Andre on 13 June 2018

Frama-C 15 (Phosphorus) has been released, and the OPAM package is already available! A MinGW-based OPAM package, distributed by fdopens MinGW OPAM repository, is also available. In this post, we briefly highlight two new features in this release. We also announce the release of a new Github repository, open-source-case-studies, which...

Read More