Overview of Formal Methods - Foundation for analysis methods

Want to learn more about what are formal methods, used as the basis for analysis methods ? Well, you can get the complete article at the 'Learn Software Process' (link to article):

Formal methods provide a foundation for specification environments leading to analysis models that are more complete, consistent, and unambiguous than those produced using conventional or object-oriented methods. The descriptive facilities of set theory and logic notation enable a software engineer to create a clear statement of facts.
A decision to use formal methods should consider startup costs as well as the cultural changes associated with a radically different technology. In most instances, formal methods have highest payoff for safety-critical and business-critical systems.