article · 1983

Practical program verification

Cited by 6Abstract and details only

Abstract

Despite the attractiveness of the concept, attempts to date to use proof of correctness techniques on production software have been generally unsuccessful. The obstacles encountered are not fundamental. We have implemented a proof of correctness system to be used for improving the realiability of certain small, real-time programs. It appears that many of the problems of past systems can be avoided.This work is supported by the Long Range Research Program of the Ford Motor Company, Dearborn, Michigan.

Cite this paper

APA 7

Nagle, J., & Johnson, S. C. (1983). Practical program verification. https://doi.org/10.1145/567067.567074

MLA 9

Nagle, John, and Scott C. Johnson. “Practical program verification.” 1983, pp. 48–58, https://doi.org/10.1145/567067.567074.

Chicago

Nagle, John, and Scott C. Johnson. 1983. “Practical program verification.” https://doi.org/10.1145/567067.567074.

Harvard

Nagle, J. and Johnson, S.C. (1983) ‘Practical program verification’. Available at: https://doi.org/10.1145/567067.567074.

BibTeX

@article{nagle1983practical,
  title = {{Practical program verification}},
  author = {Nagle, John and Johnson, Scott C.},
  pages = {48--58},
  year = {1983},
  doi = {10.1145/567067.567074}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.