Telecharger Cours

Ghost Code, Lemma Functions More Data Types (lists, trees ... - Inria

Some rule should be stated for case v1 > v2, left as exercise and then a rule for computing the WP: WP(for i = v1 to v2 invariant I do e,Q) = v1 ? v2 ? I ...



Download