Премию в 250 тыс. долл., учрежденную международной Ассоциацией вычислительной техники, получили Эдмунд Кларк из Университета Карнеги-Меллона, Аллен Эмерсон из Техасского университета и Джозеф Сифакис из Университета г. Гренобль (Франция).

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

Премия Тьюринга была учреждена в 1967 году. В числе ее лауреатов - изобретатель FORTRAN Джон Бэкус, основатель лаборатории искусственного интеллекта МТИ Марвин Мински и другие.