Defined term
Formal Method
Formal Method: Software engineering method used to specify, develop, and verify the software through application of a rigorous mathematically based notation…
Verified
📚 Multi-Source
Legal & Policy
Definition
Software engineering method used to specify, develop, and verify the software through application of a rigorous mathematically based notation and language.
Alternative Definitions
- Definition 2
Mathematical argument which verifies that the system satisfies a mathematically-described security policy. (CNSSI-4009) (NISTIR)
Sources
1
Committee on National Security Systems Glossary CNSSI 4009-2015
View Source2
The Cyber Glossary
View Source