LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » بـحــث » وحـدات » MoVe
الدلـيـل
مـشـاريع
برامجيات
إصدارات
HAL
البريد الالكتروني
Photo Responsable Photo Adjoint

وحـدة : MoVe - Modeling and Verification

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

مسؤول :

Béatrice Bérard Campus Pierre et Marie Curie 25-26/219

مسؤولية مشتركة :

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

تقديـم مـخـتـصـر

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

جميع

للاتصال

Fabrice.Kordon (at) nulllip6.fr

 Mentions légales
| خـريـطـة المـوقـع