formalization - noun

singularformalization
pluralformalizations