Program Verification
Colburn, Timothy T. R. / Rankin, R. L. / Fetzer, J. H.![Program Verification](https://support.digitalhusky.com/media/annotations/sorted/158/15880735/CHSBZCOP0315880735.jpg)
Among the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Proponents of formal methods - such as John McCarthy, C.A.R. Hoare, and Edgar Dijkstra - have advanced the position that computing is a mathematical activity and that computer science should model itself after mathematics. Opponents of formal methods - by contrast, suggest that programming is the activity which is fund...