Example: stock market
Search results with tag "232 mes par model"
Vérification formelle de systèmes par Model-Checking
pages.lip6.frVFSR - M2 SAR - 2011/2012 Est-ce que le Model-Checking Figure 1: essai blablabla 1 Introduction Principles of model checking Does system satisfy specification