- Computer Science Laboratory

科研组 : MoVe - Modeling and Verification

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

Team leaders :

Jean-François Pradat-Peyre Campus Pierre et Marie Curie 25-26/215
Yann Thierry-Mieg Campus Pierre et Marie Curie 25-26/210

Members

二十一 终身学术研究人员, 五 PhD Students.
Photo équipe

简介

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.


Self-assessment 档案 Thesis
Dessin Bulles HAL 职员电话号码 18 software 5 项目

Tags

Model checking Program generation Model engineering Modeling Petri nets

二 guests 12个月以来

Anissa KHEIREDDINE, Ahmed Chawki CHAOUCHE.

Selected publications