Роберт Типл, вице-президент Nortel Networks:

Команда состоит из талантливых ученых, имеющих опыт практического применения передовых научных исследований к разработке продуктов в Nortel Networks. Технология, разработанная группой, предоставляет подход к строгой формальной верификации кода, что не позволяет стандартная методология тестирования.

Со слов заказчиков: <<Технология полезна нам, помимо прочего, тем, что позволяет переиспользовать код формальным образом, предоставляя действительно независимое строгое тестирование новой функциональности параллельно с ее разработкой, а также возможность спецификации параллельных процессов, которые трудно тестировать иначе'.

Дмитрий Кознов, Санкт-Петербургский Государственный Университет:

CTesK является очень простым и надежным продуктом. Очевидно, что подход группы к проведению тренингов является успешным, что показал семинар, проведенный для нашей университетской группы. Материалы тренинга могут быть представлены в виде пособий и другой документации, и использоваться для проведения занятий с заказчиками.