Formal Method

Formal Method definition in Computer Security terms:

Acronym(s): None

Definition(s): Software engineering method used to specify, develop, and verify the software through application of a rigorous mathematically based notation and language.
Source(s): CNSSI 4009-2015 (Guide to the Software Engineering Body of Knowledge)

Synonym(s): None

 

reference: CSRC Glossary