Vérification formelle de systèmes par Model-Checking

VFSR - M2 SAR - 2011/2012 Est-ce que le Model-Checking Figure 1: essai blablabla 1 Introduction Principles of model checking Does system satisfy specification

  Principles, Model, Checking, Syst, Formelles, Principles of model checking, 233 rification formelle de syst, Rification, 232 mes par model