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. |