Team MOSEL

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.