Formal VV method and non-linearity

摘要

Applying formal methods to complex software systems should include requirements, models, formal specification, and formal analysis. The most rigorous formal methods apply techniques that substantiate the reasoning used to justify the requirements, or other aspects of the design or implementation of a complex or critical system. However, the application of formal methods is not an essentially linear process. Formal methods are most productive when they are integrated with existing life cycle processes. Formal methods are best used within an iterative strategy that successfully refines and validates the formalization, the requirements, the design, and if desired, critical parts of the simulation implementation. This paper briefly overviews a variety of formal methods that may be used in the V & V portion of the model and simulation life cycle process. This overview serves as a useful reminder of bivariate statistics already mastered while helping in establishing a common vocabulary.