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
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;
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
DOI :
10.1109/CMPASS.1989.76043
