I=: 68B 6# B# IJG>C< 6L6G9

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

DEVELOPMENT OF MODERN COMPUTING SYSTEMS.

&(!!#x98!!);`ÀiÜÊ °Ê &(!!#x85!!);&(!!#x88!!);i&(!!#x98!!);
6&(!!#x88!!);ViÊ*ÀiÃ&(!!#x88!!);`i&(!!#x98!!);Ì]Ê &(!!#x9c!!);À«&(!!#x9c!!);À>ÌiÊ/iV&(!!#x85!!);&(!!#x98!!);&(!!#x9c!!);&(!!#x8f!!);&(!!#x9c!!);}ÞÊ À&(!!#x9c!!);Õ«
&(!!#x88!!);ÀiVÌ&(!!#x9c!!);À]Ê &(!!#x98!!);Ìi&(!!#x8f!!);Ê,iÃi>ÀV&(!!#x85!!);

&(!!#x8f!!);>&(!!#x98!!);Ê ÕÃÌ>Vi
-i&(!!#x98!!);&(!!#x88!!);&(!!#x9c!!);ÀÊ6&(!!#x88!!);ViÊ*ÀiÃ&(!!#x88!!);`i&(!!#x98!!);ÌÊ
&(!!#x98!!);}&(!!#x88!!);&(!!#x98!!);iiÀ&(!!#x88!!);&(!!#x98!!);}ÊEÊ,iÃi>ÀV&(!!#x85!!);]Ê &(!!#x9c!!);&(!!#x9c!!);}&(!!#x8f!!);iÊ

&(!!#x88!!);&(!!#x98!!);>&(!!#x98!!);V&(!!#x88!!);>&(!!#x8f!!);ÊÃÕ««&(!!#x9c!!);ÀÌÊv&(!!#x9c!!);ÀÊÌ&(!!#x85!!);iÊ Ê °Ê&(!!#x1f!!);°Ê/ÕÀ&(!!#x88!!);&(!!#x98!!);}Ê Ü>À`