Верификация программы
Список продуктов
Данный раздел/документ содержится в продуктах:
Данный раздел/документ содержится в продуктах:
- Техэксперт: Нормы, правила, стандарты и законодательство России
- Техэксперт: Нефтегазовый комплекс
- Техэксперт: Машиностроительный комплекс
- Техэксперт: Электроэнергетика
- Техэксперт: Теплоэнергетика
ВЕРИФИКАЦИЯ ПРОГРАММЫ
Верификация
Program verification
Доказательство того, что поведение программы соответствует спецификации на эту программу
ВЕРИФИКАЦИЯ ПРОГРАММЫ
Проверка (доказательство) логической непротиворечивости программы.
