• DocumentCode
    3461137
  • Title

    Formal methods and software reliability

  • Author

    Holzmann, Gerard J.

  • Author_Institution
    JPL Lab. for Reliable Software, California Inst. of Technol., Pasadena, CA, USA
  • fYear
    2004
  • fDate
    23-25 June 2004
  • Firstpage
    145
  • Lastpage
    146
  • Abstract
    In this position statement, the author briefly describes how the software reliability problem has changed over the years, and the primary reasons for the recent creation of the Laboratory for Reliable Software at JPL.
  • Keywords
    program verification; software reliability; formal methods; software reliability; Application software; Assembly; Laboratories; Mars; Moore´s Law; Performance analysis; Program processors; Software reliability; Software systems; Space vehicles;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Proceedings. Second ACM and IEEE International Conference on
  • Print_ISBN
    0-7803-8509-8
  • Type

    conf

  • DOI
    10.1109/MEMCOD.2004.1459838
  • Filename
    1459838
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3461137