The Formose ANR project (ANR-14-CE28-0009) aims to design a formally-grounded, model-based requirements engineering (RE) method for critical complex systems, supported by an open-source environment. The project has been launched on November 17, 2014. The main partners are: ClearSy, LACL, Institut Mines-Telecom, OpenFlexo, and THALES.

Latest news

Software release

The first version of the tool is available here.

Plenary meeting on January 18-19, 2017

The last plenary meeting of the Formose ANR project has been held on January 18-19, 2017 at Thales, in Palaiseau.

Plenary meeting on June 23, 2016

A plenary meeting of the Formose ANR project has been held on June 23, 2016 at ClearSy, in Paris.

Workshop on September 6-7, 2016

A workshop between three ANR projects involving the B method (BWARE, IMPEX, FORMOSE) has been held in Toulouse on September 6-7, 2016.

Kickoff meeting

The Formose ANR project has been officially launched on November 17, 2014, at Telecom ParisTech, in Paris.


Scientific description of the Formose project.

Read More


The Formose consortium is composed of two academic partners (IMT and LACL) and three companies (ClearSy, OpenFlexo, THALES).

Read More


Documents to download, public deliverables, publications, etc.

Read More


Plenary meetings, working package meetings, workshops, seminars, etc.

Read More