• DocumentCode
    2561307
  • Title

    Ottawa Euclid and EVES: A Status Report

  • Author

    Craigen, Dan

  • Author_Institution
    I.P. Sharp Associates
  • fYear
    1984
  • fDate
    April 29 1984-May 2 1984
  • Firstpage
    114
  • Lastpage
    114
  • Abstract
    I.P. Sharp Associates, under the sponsorship of the United States Navy and the Canadian Department of National Defence, is developing a formal program verification and evaluation system based on the Euclid programming language. The central application of the system is to be the development of security related software. This paper reports the status of the project, as of early 1984, and discusses some of the research and development directions being followed.
  • Keywords
    Formal specifications; Generators; Large scale integration; Security; Semantics; Software; Writing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Security and Privacy, 1984 IEEE Symposium on
  • Conference_Location
    Oakland, CA, USA
  • ISSN
    1540-7993
  • Print_ISBN
    0-8186-0532-4
  • Type

    conf

  • DOI
    10.1109/SP.1984.10006
  • Filename
    6234790
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2561307