Found 1 document(s)
Page 1 of 1
-
We présent a denotational machine-checked definition of properties associated to programs computations. This format définition, independent of any algorithm, is used to prove a consistency relation between properties and...