チューリング賞 2007: 勝者

受賞者

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

   情報科学

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