Сертификация программного обеспечения. Статический анализ программного ...