• DocumentCode
    920496
  • Title

    Program verification and Ada

  • Author

    McGettrick Andrew, D.

  • Author_Institution
    University of Strathclyde, Department of Computer Science, Glasgow, UK
  • Volume
    129
  • Issue
    2
  • fYear
    1982
  • fDate
    3/1/1982 12:00:00 AM
  • Firstpage
    55
  • Lastpage
    62
  • Abstract
    One of the design aims of Ada was to provide a language which would encourage the production of reliable programs: An important technique used to provide greater reliability is program verification. In this paper, we comment on the design of Ada from this particular point of view and we indicate particular approaches to the verification of Ada programs.
  • Keywords
    Ada; programming theory; Ada; Ada programs; program verification; verification;
  • fLanguage
    English
  • Journal_Title
    Computers and Digital Techniques, IEE Proceedings E
  • Publisher
    iet
  • ISSN
    0143-7062
  • Type

    jour

  • DOI
    10.1049/ip-e.1982.0012
  • Filename
    4645244
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=920496