S´emantique de Hoare, Weakest Preconditions de Dijkstra
de conditions à prouver, exprimées sous la forme de triplets de Hoare. Les règles d'inférence du calcul de Hoare sont ensuite appliquées à ces conditions.
de conditions à prouver, exprimées sous la forme de triplets de Hoare. Les règles d'inférence du calcul de Hoare sont ensuite appliquées à ces conditions.