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)

List of accepted papers for WS-FMDS 2013

  • Andreas Ibing
    SMT-Constrained Symbolic Execution for Eclipse CDT/Codan
  • Aleksandar Kirilov, Darko Martinovikj, Kristijan Mishevski, Marija Petkovska, Zlatka Trajcheska and Jasen Markovski
    A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data
  • Kent Inge Fagerland Simonsen
    PetriCode: A Tool for Template-based Code Generation from CPN Models
  • Luis Llana and Rafael Martínez-Torres
    IOCO as a simulation
  • Mirtha L Fernández Venero and Flávio S. Corrêa Da Silva
    Modelling and simulating interaction protocols using Nested Petri Nets

Final Program (.pdf)