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.