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é.

Autour du même sujet