A description of a formal verification and validation (FVV) process
Brian T. Smith, Cody M. Reese, Kenneth S. Lindsay, B. Crane · 2003
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.>