Le centre d’expertise « Modélisation formelle et preuve » de Systerel constitue l’une des plus importantes équipes européennes sur le sujet et dispose d’une expérience de plus de 20 ans dans la mise en œuvre industrielle des techniques formelles.