Photo Responsable

Подразделение : MoVe - Modeling and Verification

Axes : SSR (👥👥), ASN (👥), TMC (👥).

Директор Департамента :

Tewfik Ziadi Campus Pierre et Marie Curie 25-26/212

Краткая презентация

Dessin Bulles HAL Справочник 17 software

MoVe centers its research on the modeling and analysis of complex and dynamic distributed systems. In particular, we put our focus on:

  • Optimized techniques of formal verification through model-checking.
  • Development methodologies based on Model-Driven Engineering.
  • Integration of formal analysis in development processes.
  • Design and implementation of new programming languages and models to increase the verifiability of distributed programs.

Справочник

Model engineering, Modeling, Petri nets, Model checking, Program generation, meta-modeling

В настоящее время мероприятия не планируются.

Архивы

Selected publications

All
Mentions légales
Карта сайта