Telecharger Cours

Preuve, analyse statique et vérification runtime

Pour ce cours, C restreint à : ? Seulement des variables entières, pas de pointeurs. ? Affectation x = e;. ? Séquence { i1 ... in }. ? Conditionnelle if (c) ...



Download