• DocumentCode
    2746931
  • Title

    A description of a formal verification and validation (FVV) process

  • Author

    Smith, Bill ; Reese, Cynthia ; Lindsay, Kenneth S. ; Crane, Brian

  • Author_Institution
    Magnavox Electron. Syst. Co., Ashburn, VA, USA
  • fYear
    1989
  • fDate
    19-23 Jun 1989
  • Firstpage
    71
  • Lastpage
    78
  • Abstract
    Inputs needed, processing performed, outputs produced, and analysis involved in a formal verification and validation (FVV) process are described. The resources required and some observations in the form of cautions are presented. The importance of accurate inputs, adherence to guidelines, and configuration management and baselines to facilitate the FVV process is stressed
  • Keywords
    program verification; FVV process; cautions; configuration management; formal verification and validation; Cranes; Data analysis; Design engineering; Failure analysis; Formal verification; Information security; Mathematical model; Permission; Protection; Software design;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Assurance, 1989. COMPASS '89, 'Systems Integrity, Software Safety and Process Security', Proceedings of the Fourth Annual Conference on
  • Conference_Location
    Gaithersburg, MD
  • Type

    conf

  • DOI
    10.1109/CMPASS.1989.76043
  • Filename
    76043
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2746931