Main menu:

In cooperation with the belgian MoVES project.


Call for Participation - Moves-Verif Workshop at ASE2010

Software-intensive systems are among the most complex artefacts ever built. In the development of such systems, the use of rigorous models and analysis methods is essential to make sure that the software satisfies its requirements and exhibits the desired properties (e.g., safety, security, reliability, consistency). At the same time, in order to adapt to the constantly changing requirements and technology, these systems must be able to evolve over time, without breaking their essential properties.

The MoVES project combines the leading Belgian research teams in software engineering, with recognised scientific excellence in model-driven engineering (MDE), software evolution, formal modelling and verification (FMV) and aspect-oriented software development (AOSD).

The workshop MoVES-Verif is organized by members of the formal modelling and verification part of the MoVES project. The aim of this workshop is to bring together researchers working on computer aided verification and its application to software verification and evolution. The workshop will be organized around two invited talks, together with contributed talks on the following (non-exhaustive) list of relevant topics:

  • Applications of verification technology to software systems;
  • Static analysis and abstract interpretation for software systems;
  • Verification of infinite-state models;
  • Symbolic data-structure for verification of large models;
  • Automatic testing of software systems;
  • Verification tools;
  • Verification methods for MDE;
    • Automatic evolution of tests
    • Verification reuse for evolution
    • Feature-oriented verification
  • Synthesis of correct systems from formal specifications.

Invited Speaker

Rupak Majumdar,  University of California, Los Angeles.


The workshop will be held on September 21st, 2010. The programme is available here.