(réécrite et réaffectée suite à une purge de compte)

Le prix Turing a été attribué à Edmund M. Clarke (université Carnegie Mellon), E. Allen Emerson (université du Texas) et Joseph Sifakis (université de Grenoble, laboratoire Verimag) pour leurs travaux sur la vérification de modèles (ou model checking).