WS-FMDS 2013 September 24, 2013, Spain

WorkShop on
Methods in the
Development of

Welcome to WS-FMDS 2013

3rd Workshop on Formal Methods in the Development of Software

  • Creative Commons License, by Antonio García


    September 24, 2013, Madrid, Spain

  • QSIC 2011

    SEFM 2013

    Co-located with the 11th International Conference on Softaware Engineering and Formal Methods

    (SEFM 2013)

WS-FMDS 2013

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.