Le model checking, pour vaincre la complexité

"Le model checking, pour vaincre la complexité"

Joseph Sifakis, prix Turing 2007 (l'équivalent du prix Nobel pour le domaine de l'informatique), explique ce qu'est le model checking, pour lequel il a été récompensé.