Skip to main content
SpringerLink
Log in

A more mechanical approach to program verification

  • Preuves Formelles De Programmes Proving Properties Of Programs
  • Conference paper
  • First Online:
Programming Symposium

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 19))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Boyer, R. and J. Moore, "Proving Theorems about LISP Functions," Third International Joint Conference on Artificial Intelligence. Stanford University. Stanford, California.

    Google Scholar 

  2. Elspas, B., M. W. Green, K. M. Levitt, and R. J. Waldinger, "Research in Interactive Program-Proving Techniques," SRI Project 8398, Phase II, SRI, MenIo Park, Ca.

    Google Scholar 

  3. Floyd, R., "Assigning Meaning to Programs," Symposium on Applied Mathematics, Vol. 19.

    Google Scholar 

  4. unpublished draft, SRI.

    Google Scholar 

  5. Katz, S. and Z. Manna, "A Heuristic Approach to Program Verification," Third International Joint Conference on Artificial Intelligence. Stanford University. Stanford, California.

    Google Scholar 

  6. Manna, Z., "The Correctness of Programs," Journal of Computer and System Sciences, Vol. 3, No. 2.

    Google Scholar 

  7. Wegbreit, B., "Heuristic Methods for Mechanically Deriving Inductive Assertions," Third International Joint Conference on Artificial Intelligence. Stanford University. Stanford, California.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Massachusetts Institute of Technology, USA

    Irene Greif

  2. Stanford Research Institute, USA

    Richard Waldinger

Authors
  1. Irene Greif
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Richard Waldinger
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

B. Robinet

Rights and permissions

Reprints and permissions

Copyright information

© 1974 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Greif, I., Waldinger, R. (1974). A more mechanical approach to program verification. In: Robinet, B. (eds) Programming Symposium. Lecture Notes in Computer Science, vol 19. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-06859-7_128

Download citation

  • DOI: https://doi.org/10.1007/3-540-06859-7_128

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-06859-4

  • Online ISBN: 978-3-540-37819-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation