Американская Ассоциация по вычислительной технике (ACM) присудила свою премию в области систем программировани (ACM Software System Award) за 2007 год коллективу разработчиков системы Statemate.
Нам особенно приятно поздравить создателей системы Statemate, потому что среди ее разработчиков известные ученые Дэвид Харел, который выступал с приглашенным докладом на конференции PSI'03 в Новосибирске, Амир Пнуэли, приглашенный докладчик на PSI'06 (к сожалению, он не смог приехать из-за болезни), и Марк Трахтенброт, ученик академика А.П. Ершова, сотрудник Отдела программирования ВЦ СО АН в 1971-1984 г.