Ivannikov Institute for System Programming of the RAS


Promising methods for verification of large-scale data models.

Start of project – 2013. Customer - RFBR grant 13-07-00390.

The project is related to development of complex software systems based on formal static models and is addressed to the key problems of verification of large-scale data models applied in different industrial domains and specified using general-purpose object-oriented modeling languages (EXPRESS, UML/OCL, etc). The main directions of the project are:

  • research of the problem of verification of object-oriented data models applied in different industrial domains;
  • development of efficient methods for verification of such models;
  • approbation of the methods by development of demostration application for verification of industrial data models.
  • Implementer

    System integration and multi-disciplinary collaborative environments

    Go to the list of projects