THE ACM

A. M. TURING

AWARD

ACM, INTEL, AND GOOGLE CONGRATULATE

EDMUND M. CLARKE, E. ALLEN EMERSON

AND JOSEPH SIFAKIS FOR THEIR PIONEERING WORK

IN MODEL CHECKING AND ITS APPLICATION TO THE