An approach to program verification

@inproceedings{Yeh1976AnAT,
  title={An approach to program verification},
  author={Raymond T. Yeh},
  booktitle={DAC},
  year={1976}
}
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