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