Examens corriges

Travaux Pratiques de Model-checking n

Exercice 1. Modélisez et vérifiez (ça n'est peut être pas vrai ... Vous pourrez utiliser plusieurs méthodes, par exemple une assertion puis une for- mule de LTL.





Télécharger Travaux Pratiques de Model-checking n pdf