К какому классу процедур по классификации относится процедура параметрической оптимизации? К процедурам анализа, К процедурам верификации, К процедурам оптимального<br/>анализа, К процедурам параметрического синтеза, К процедурам параметрической<br/>верификации