Formal Methods Industry Committee


The aim of the FME Industry Committee is to support the infusion of formal methods into industry, as well as to obtain feedback from industry as to the usability of various methods in practice.



We will initially provide a website containing information useful for industrial partners in their investigation of which formal methods can be of benefit to their work. The website will e.g. point to various tools and to teaching material. As such the committee’s objectives overlap to some degree with those of the teaching committee.

Web site

We are using the following page for information about FME’s Industry Committee:


Please contact us if you would like to contribute, by sending an email to