Site Jussieu 25-26/212
The MoVe team focuses its research on the modeling and analysis of interoperable distributed components. It aims to develop modeling techniques, verification tools, program generator to help system designer to build complex distributed systems. Our techniques aims to be operated in the context of the MDD (Model Driven Development) approach.
Model engineering, Modeling, Petri nets, Model checking, Program generation, meta-modeling