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

Project has ended

The project has ended in 2019. The tools, documentation and examples can be downloaded at this page

Plenary meetings

The last plenary meetings of the Formose ANR project held on March 12, 2019 at Clearsy Paris, on June 26, 27, 28, 2019 at Telecom Bretagne (IMTA) and on September 2, 2019 at Clearsy Paris.

Workshop@ICFEM on November 16, 2017

The first international workshop on Handling IMPlicit and EXplicit knowledge in formal system development, co-located with ICFEM 2017 (19th International Conference on Formal Engineering Methods), has been held in Xi’an, China, on November 13-17, 2017

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