Consacré à la métrologie, c'est-à-dire aux techniques qui permettent de vérifier de façon mathématique des propriétés sur un logiciel telles que sa propension à contenir des erreurs, sa maintenabilité ou son évolutivité.