Compétition et partenariat, les grandes étapes

Constitution d'une communauté scientifique, partenariat avec le secteur privé, compétition entre laboratoires: Joseph Sifakis évoque les grandes étapes qui ont amené à l'utilisation du model checking.