Речник на българския език
биха формализирали е производна форма на формализирам (условно наклонение, 3 л., мн. ч.).