Верифицируемость программного продукта предполагает

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

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.