Photo Responsable

Equipo : MoVe - Modeling and Verification

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

Responsable :

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

Breve presentación

Dessin Bulles HAL Directorio de personal 17 softwares

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.

Directorio de personal

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

Actualmente, no hay ninguna manifestación planeada.

Archivos

Selected publications

Ellas todas
Mentions légales
Mapa del sitio