Published: 8th July 2012
DOI: 10.4204/EPTCS.86
ISSN: 2075-2180


Proceedings 2nd Workshop on
Formal Methods in the Development of Software
Paris, France, August 28, 2012

Edited by: César Andrés and Luis Llana

Using Constraints for Equivalent Mutant Detection
Simona Nica and Franz Wotawa
Scalable Minimization Algorithm for Partial Bisimulation
J. Markovski
Verified System Development with the AutoFocus Tool Chain
Maria Spichkova, Florian Hölzl and David Trachtenherz
ROSA Analyser: An automatized approach to analyse processes of ROSA
Raúl Pardo and Fernando L. Pelayo
Predictive Software Measures based on Z Specifications - A Case Study
Andreas Bollin and Abdollah Tabareh


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:

Luis Llana
César Andrés
Workshop chairs