Turing Award 2007: Winners

Recipients

1. Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis

   CS

   for their role in developing model checking into a highly effective verification technology that is widely adopted in the hardware and software industries