Analyses automatiques (draft) (mais pas le Test unitaire, autre cours)
1.4 Exercices . ... 11.1.2 Model checking et logique des prédicats du premier ordre . . . 242 ... 11.2.3 CTL et LTL : pouvoir d'expression incomparable .
1.4 Exercices . ... 11.1.2 Model checking et logique des prédicats du premier ordre . . . 242 ... 11.2.3 CTL et LTL : pouvoir d'expression incomparable .