Какие из указанных методов обеспечения качества ПО относятся к формальным методам?
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
наладка качественного процесса
обеспечение качества кода
доказательство правильности работы программ(Верный ответ)
проверка на моделях определенных свойств(Верный ответ)