MATHEMATICAL THEORY OF COMPUTATION VB~ifie!8tillg llf ~~llg~8ms Introduction CHAPTER 3 The purpose of this chapter is to describe methods for verifying computer programs.…
