Верифицируемость программного продукта предполагает
- возможность контроля соответствия продукта
требованиям
- достаточность тестирования свойств системы
- единообразие пользовательского интерфейса
- мгновенную реакцию на изменение внешней среды
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.