- Computer Science Laboratory

Equipo : 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

Veintiuno titular del personal académico y de investigación, cinco Estudiantes de doctorado.
Photo équipe

Breve presentación

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 Archivos Tesis
Dessin Bulles HAL Directorio de personal 18 softwares 5 proyectos

Tags

Program generation Model engineering Modeling Petri nets Model checking

Dos invitados Los últimos 12 meses

Anissa KHEIREDDINE, Ahmed Chawki CHAOUCHE.

Selected publications