ABSTRACT

The Verification of a program is to prove the program’s correctness with respect to some specification [1, 3, 14, 19, 28]. While the Derivation is constructing only correct programs from the specification [14, 20].