Are there public records of industry use of formal methods?

Main -> FAQ -> ExFac-HM-4


 * Theme: External Factor Pushing for Formal Method Adoption (ExFac)
 * Role: HM

Answer
Formal method deployment remains an innovative topic. Industrials tend to be rather conservative regarding the disclosure of informations related to their internal innovation. Scientist on the other hand tend to publish scientific papers, but only a small portion of these papers refer to a real industrial application. The work undertaken in this FAQ is therefore of paramount importance, as it presents the industrial aspects that are close to never presented in the standard scientific communication channels.

We give here a few pointer to relevant work going in the same direction of our FAQ:


 * There is an excellent and recent survey on the application of formal methods in industry . You can actually contribute to the onl-line survey hosted at: http://fmsurvey.org/

On the industrial point of view it has a large list of companies involved in formal methods.
 * There is a wiki on formal methods created by Jonathan Bowen: http://formalmethods.wikia.com


 * Several conference on formal methods, that regularly present an industrial track or an industry day:
 * Automated Software Engineering (ASE) regularly includes some informations on formal methods.
 * Formal Methods (FM) is a reference conference on formal methods. It includes an industry day.
 * Formal Methods of Industrial Critical Systems (FMICS) is a workshop associated to an ERCIM Working Group on Formal Methods for Industrial Critical Systems.
 * Formal Methods in Computer Aided Design (FMCAD) has an industry track.


 * FME is an association bringing together researchers and practitioners in formal methods developing computing systems and software http://www.fmeurope.org/


 * A number of books mention industrial applications of formal methods in industry.