Research into application of formal methods to software security is being
conducted primarily in the United States, Europe, and Australasia. Not only
have Formal methods have not only long been used in the development of
safety-critical software but also in the evaluation of cryptographic algorithms,