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 ...


 





Exercicescorriges.com