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.