Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis are the recipients of the 2007 A.M. Turing Award for their work on an automated method for finding design errors in computer hardware and software. -- Pete Manolios -------------- next part -------------- HTML attachment scrubbed and removed