科研组 : 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.

简介

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 档案 Defenses

巴黎六大计算机科学实验室日志 (MoVe)

Mon 12 Oct

1430

[Séminaire MoVe] Thaïs Milleret (MoVe, LIP6)
Thaïs Milleret (MoVe, LIP6) : Amélioration des fonctionnalités d’un software model-checker
Salle 24-25/405, Campus Pierre et Marie Curie
# Seminar - MoVe