LLexicon Workbenchv2.1
NouncandidateMWEcandidate
home/dictionary/Correctness Proof

Correctness Proof

nouncandidate·updated May 9, 2026
GlossaryL1 — whatDictionaryL2 — how usedThesaurusL3 — relationsUniversaleverything

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

Framework senses

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.
snapshot nexus-lexicon@liveschema v0.3.3-draftfetched May 14, 2026, 04:51 AM