MLchartDataset catalogue

correctness proof

Term · Cybersecurity · MLC-T-CYB-000976

Formal technique used to prove mathematically that a computer program satisfies its specified requirements.

Table 1. Record
IdentifierMLC-T-CYB-000976
FieldCybersecurity
ReferencesCNSSI 4009-2015; CNSSI 4009-2022 from ISO/IEC/IEEE 24765:2017 (under "proof of correctness"); NIST CSRC Glossary
Record as JSON 
{
  "id": "MLC-T-CYB-000976",
  "term": "correctness proof",
  "field": "Cybersecurity",
  "definition": "Formal technique used to prove mathematically that a computer program satisfies its specified requirements.",
  "references": [
    "CNSSI 4009-2015; CNSSI 4009-2022 from ISO/IEC/IEEE 24765:2017 (under \"proof of correctness\")",
    "NIST CSRC Glossary"
  ],
  "url": "https://mlchart.com/terminology/cybersecurity/correctness-proof/"
}

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