The Association for Computing Machinery (ACM) has announced Edmund M. Clarke, E. Allen Emerson and Joseph Sifakis as the recipients of the 2007 Turing Award. The award, named after the British mathematician Alan M. Turing, is considered to be the ...