Formal Methods Industry Committee

Aim

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.

Members

Nikolaj Bjorner, Microsoft Research, USA
Jonathan Bowen, London South Bank University, UK
Alessandro Cimatti, FBK Trento, Italy
Rance Cleaveland, Maryland University, USA
Jan Friso Groote, Eindhoven University, The Netherlands
John Hatcliff, Kansas State University, USA
Klaus Havelund, Jet Propulsion Laboratory/NASA, USA (chair)
Gerwin Klein, University of NewSouth Wales, Australia
Thierry Lecompte, ClearSy, France
Colin O’Halloran, D-RisQ Ltd., UK
Jan Peleska, Bremen University, Germany
Shaz Qadeer, Facebook, USA
Markus Voelter, Volter Consulting, Germany

Approach

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 committe’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:
https://fme-industry.github.io/

Contact

Please contact us if you would like to contribute, by sending an email to either
industry@fmeurope.org or havelund@gmail.com (committee chair).

Share