Exercice corrigé Examen de model checking - LRDE (Epita) pdf

Examen de model checking - LRDE (Epita)

30 juin 2008 ... 1 ? Structure de Kripke. Elle sert telle quelle dans l'exercice 1 ; puis vous devrez la modifier dans l'exercice 2 . 1 CTL vs LTL (6 points) p1 et p2 désignent deux propositions atomiques. Pour chaque formule ci-dessous, indiquez. ? S'il s'agit d' une formule LTL ou CTL,. ? si elle peut être traduite dans l'autre ...