Preface

WF-FMDS 2012 was the second edition of a co-located workshop of Formal Methods 2012. The aim of WS-FMDS 2012 was to provide a forum for researchers who are interested in the application of formal methods on systems which are being developing with a software methodology. In particular, this workshop was intended 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 strove to promote research and development for the improvement of formal methods and tools for industrial applications.

All papers in this workshop was reviewed by three members of the Programme Committee:

• Rui Abreu, U. of Porto, Portugal.
• César Andrés, U. Complutense de Madrid, Spain.
• Mario Bravetti, U. of Bologna, Italy.
• M.Emilia Cambronero, U. de Castilla la Mancha, Spain.
• Ana R. Cavalli, Telecom SudParis, France.
• Haitao Dan, Brunel U., UK.
• Gregorio-Rodríguez Carlos, U. Complutense de Madrid, Spain.
• Lefticaru Racula, U. of Piteşti, Romania.
• Luis Llana, U. Complutense de Madrid, Spain.
• Jasen Markovski, Eindhoven U. of Technology, the Netherlands.
• Pascal Poizat, U. of Evry Val d'Essonne, France.
• Franz Wotawa, Graz U. of Technology, Austria.
• Fatiha Zaïdi, U. of Paris-Sud, France.

Luis Llana
César Andrés
Workshop chairs