Examens corriges

Logique temporelle et Model- Checking - LIP6

Exercice 1 (Exemple de l'ascenceur.). ... Montrer qu'il existe k ? N tel que pre?(q) = ?k. 0 prei(q). Exercice 4 (Concurrence).





Télécharger Logique temporelle et Model- Checking - LIP6 pdf