Dominique Méry has created the MOSEL team which was first called MODEL. The main topics are formal methods (Event-B, TLA+, …) and applications as distributed systems, medical devices, control theory….
The MOSEL team shares members with the VERIDIS INRIA project.
For an unknown reason the web site of the MOSEL team is not fully updated and has been corrupted.
