WS-FMDS 2014 September 2, 2014, France

WorkShop on
Methods in the
Development of

Welcome to WS-FMDS 2014

4th Workshop on Formal Methods
in the Development of Software


Keynote Speaker

Radu Mateescu chairman of the Formal Methods for Industrial Critical Systems (FMICS), Working Group of the European Research Consortium for Informatics and Mathematics (ERCIM). SEFM 2014 Conference Chair.

  • Creative Commons License, by Laurent Espitallier


    September 2nd, 2014, Grenoble, France

  • SEFM 2014

    SEFM 2014

    Co-located with the 12th International Conference on Software Engineering and Formal Methods

    (SEFM 2014)

WS-FMDS 2014

Paper Rocket

The aim of WS-FMDS is to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. This workshop also strives to promote research and development for the improvement of theoretical aspects of formal methods and tools focused on practical usability for industrial applications. Relevant topics include, but are not limited to:

  • Formal methodologies applied to security, performance and quality of Software.
  • Model-driven development, testing, and analysis of Software.
  • Applied formal testing.
  • Combinations of different formal techniques.
  • Measurement and metrics.
  • Experience of industrial case studies.
  • Implementation of platforms / tools.