framac-19.0.md

---
layout: default
date: 21-06-2019
title: Release of Frama-C 19.0 (Potassium)
image: /assets/img/events/Potassium.jpg
---

Frama-C 19.0 (Potassium) is out. Download it [here](/fc-versions/potassium.html).