Andrei BARANGA
The Galois Connection between Weakest Precondition and Strongest Postcondition

Abstract.
In this paper we shall establish a Galois connection between the weakest precondition and the strongest postcondition of a program statement. Also we shall derive some consequences and computing formulas with these items.