Ура!
Француз Жозеф Сифакис и американцы Эдмунд Кларк и Аллен Эмерсон стали лауреатами премии Тьюринга 2007 года. Премия составляет $250,000 (я почему-то думал что больше).
Высокой научной награды они удостоены за создание метода проверки модели (Model Checking).
Похоже, что model checking не такой уж беспомощный, если за него дают премию.