Correctness / Determinism / Verification

Kind: category

Record: lexicon-category:correctness-determinism-verification

Canonical: Lexicon

The Correctness / Determinism / Verification category holds 60 lexicon terms.

Listed in Term categories, after Control / Coordination / Centralization and before Portability / Infrastructure / Deployment.

Terms

Linked from

Correctness / Determinism / Verification

Every term in this category is listed as one record, with its kind, its definition and its aliases, the principles whose relations name it, the principle or contract that carries the same name where one exists, and the layer its category belongs to. A tag category also gives each term an example, which is the file the tag places or the rename from a refused word onto a covering tag.