Модификация верификатора стандартизованных программ на фортране, предназначенная для работы с большими программными комплексами19827 с.