LLexicon Workbenchv2.1
NouncandidateMWEcandidate
home/glossary/Correctness Proof

Correctness Proof

nounid 2028·updated May 9, 2026
candidate
GlossaryL1 — whatDictionaryL2 — how usedThesaurusL3 — relationsUniversaleverything

A mathematical proof of consistency between a specification and its implementation.

MWE

Classifications

per-axis with provenance

Entity Type

Artifact72%llm-generatedllm:claude-haiku-4-5

Sensitivity

unclassified

Information Class

Ip65%llm-generatedllm:claude-haiku-4-5

Variants

3 surface forms
plural
Correctness Prooves
possessive
Correctness Proof's
pluralpossessive
Correctness Prooves'

Framework definitions

2 senses across 2 frameworks
NISTIR 7298: Glossary of Key Information Security Terms, Revision 21 senseview framework →
§1
A mathematical proof of consistency between a specification and its implementation.
CNSSI-4009 (Glossary of Information Assurance Terms)1 senseview framework →
§1
A mathematical proof of consistency between a specification and its implementation.

Outgoing relationships

term as subject — 0 triples
No outgoing triples
This term is not the subject of any RDF-style relationship yet.

Incoming relationships

term as object — 0 triples
No incoming triples
No other term currently asserts a relationship to this one.
snapshot nexus-lexicon@liveschema v0.3.3-draftfetched May 14, 2026, 01:37 AM