Telecharger Cours

Cours de Model Checking - Leçon 1 : Introduction & Modélisation

Alors Q = C × D, et une configuration s'écrit (c, d). Et (c, d) t?? (c?, d?) si t = (c, a, c?) et JaK(d) = d?. Exemple : x 7? {0..2}, paid 7? {true, false}.



Download