WS-FMDS 2012 August 28, 2012, France

WorkShop on
Methods in the
Development of

Welcome to WS-FMDS.

2nd Workshop on Formal Methods in the Development of Software

  • CNAM


    August 27-28, 2012, CNAM of Paris, France

  • QSIC 2011

    FM 2012

    Co-located with the 18th International Symposium on Formal Methods

    (FM 2012)

WS-FMDS 2012.

August 28
08:00--09:15 Registration + Continental breakfast
09:15--09:30 Opening Words
09:30--10:30 Keynote
10:30--11:00 Coffee Break
11:00--12:30 Paper Session 1
12:30--14:00 Lunch
14:00--15:30 Paper Session 2
15:30--16:00 Coffee break


Paper Session 1

  • Andreas Bollin and Abdollah Tabareh.
    Predictive Software Measures based on Z Specifications - A Case Study.
  • Simona Nica and Franz Wotawa.
    Using Constraints for Equivalent Mutant Detection.

Paper Session 2

  • Maria Spichkova, Florian Hölzl and David Trachtenherz.
    Verified System Development with the AutoFocus Tool Chain.
  • Raúl Pardo and Fernando L. Pelayo.
    ROSA Analyser: An automatized approach to analyse processes of ROSA.
  • Jasen Markovski.
    Scalable Minimization Algorithm for Partial Bisimulation.