MLchartDataset catalogue

formal method

Term · Cybersecurity · MLC-T-CYB-001789

Software engineering method used to specify, develop, and verify the software through application of a rigorous mathematically based notation and language.

Table 1. Record
IdentifierMLC-T-CYB-001789
FieldCybersecurity
ReferencesCNSSI 4009-2022 from Guide to the Software Engineering Body of Knowledge; NIST CSRC Glossary
Record as JSON 
{
  "id": "MLC-T-CYB-001789",
  "term": "formal method",
  "field": "Cybersecurity",
  "definition": "Software engineering method used to specify, develop, and verify the software through application of a rigorous mathematically based notation and language.",
  "references": [
    "CNSSI 4009-2022 from Guide to the Software Engineering Body of Knowledge",
    "NIST CSRC Glossary"
  ],
  "url": "https://mlchart.com/terminology/cybersecurity/formal-method/"
}

Record 1,789 of 4,693 in Cybersecurity terminology (MLC-0102). Request the full dataset.