Prix Turing 2007 pour la vérification de modèles

Posté par  . Édité par Benoît Sibaud. Modéré par Jaimé Ragnagna.
Étiquettes :
1
5
fév.
2008
Presse

(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).