Dans le domaine industriel, le mot « Innovation » évoque souvent l'idée de nouveau produit et de compétitivité, et donc de productivité, de qualité, d'a

Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstr