An approach to program verification

  title={An approach to program verification},
  author={Raymond T. Yeh},
In this paper, formal semantics of program constructs are defined by predicate transformer introduced by Dijkstra [3,4]. A predicate transformer is a mapping which transforms a set of states after the execution of a program to the set of all possible states before the execution of the same program. Thus, the concept of determinism no longer has its… CONTINUE READING