Concentrarea asupra verificării formale semnalează o tranziție de la sisteme experimentale la sisteme de calitate de producție.