{
  "code": null,
  "collection": "lexicon-category",
  "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-correctness-determinism-verification",
  "id": "correctness-determinism-verification",
  "kind": "category",
  "layer": null,
  "name": "Correctness / Determinism / Verification",
  "ref": "lexicon-category:correctness-determinism-verification",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-assumption-driven-delivery",
          "json": "https://banes-lab.com/json/records/lexicon/assumption-driven-delivery",
          "label": "Assumption-Driven Delivery",
          "markdown": "https://banes-lab.com/records/lexicon/assumption-driven-delivery.md",
          "ref": "lexicon:assumption-driven-delivery"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-environment-sensitive-behavior",
          "json": "https://banes-lab.com/json/records/lexicon/environment-sensitive-behavior",
          "label": "Environment-Sensitive Behavior",
          "markdown": "https://banes-lab.com/records/lexicon/environment-sensitive-behavior.md",
          "ref": "lexicon:environment-sensitive-behavior"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-example-only-testing",
          "json": "https://banes-lab.com/json/records/lexicon/example-only-testing",
          "label": "Example-Only Testing",
          "markdown": "https://banes-lab.com/records/lexicon/example-only-testing.md",
          "ref": "lexicon:example-only-testing"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-floating-dependencies",
          "json": "https://banes-lab.com/json/records/lexicon/floating-dependencies",
          "label": "Floating Dependencies",
          "markdown": "https://banes-lab.com/records/lexicon/floating-dependencies.md",
          "ref": "lexicon:floating-dependencies"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-hidden-behavior",
          "json": "https://banes-lab.com/json/records/lexicon/hidden-behavior",
          "label": "Hidden Behavior",
          "markdown": "https://banes-lab.com/records/lexicon/hidden-behavior.md",
          "ref": "lexicon:hidden-behavior"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-hidden-io",
          "json": "https://banes-lab.com/json/records/lexicon/hidden-io",
          "label": "Hidden IO",
          "markdown": "https://banes-lab.com/records/lexicon/hidden-io.md",
          "ref": "lexicon:hidden-io"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-hidden-time-randomness-global-state",
          "json": "https://banes-lab.com/json/records/lexicon/hidden-time-randomness-global-state",
          "label": "Hidden Time/Randomness/Global State",
          "markdown": "https://banes-lab.com/records/lexicon/hidden-time-randomness-global-state.md",
          "ref": "lexicon:hidden-time-randomness-global-state"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-implementation-only-testing",
          "json": "https://banes-lab.com/json/records/lexicon/implementation-only-testing",
          "label": "Implementation-Only Testing",
          "markdown": "https://banes-lab.com/records/lexicon/implementation-only-testing.md",
          "ref": "lexicon:implementation-only-testing"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-informal-validation-only",
          "json": "https://banes-lab.com/json/records/lexicon/informal-validation-only",
          "label": "Informal Validation Only",
          "markdown": "https://banes-lab.com/records/lexicon/informal-validation-only.md",
          "ref": "lexicon:informal-validation-only"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-side-effects",
          "json": "https://banes-lab.com/json/records/lexicon/side-effects",
          "label": "Side Effects",
          "markdown": "https://banes-lab.com/records/lexicon/side-effects.md",
          "ref": "lexicon:side-effects"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-unchecked-dynamic-code",
          "json": "https://banes-lab.com/json/records/lexicon/unchecked-dynamic-code",
          "label": "Unchecked Dynamic Code",
          "markdown": "https://banes-lab.com/records/lexicon/unchecked-dynamic-code.md",
          "ref": "lexicon:unchecked-dynamic-code"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-undefined-behavior",
          "json": "https://banes-lab.com/json/records/lexicon/undefined-behavior",
          "label": "Undefined Behavior",
          "markdown": "https://banes-lab.com/records/lexicon/undefined-behavior.md",
          "ref": "lexicon:undefined-behavior"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-untested-implementation",
          "json": "https://banes-lab.com/json/records/lexicon/untested-implementation",
          "label": "Untested Implementation",
          "markdown": "https://banes-lab.com/records/lexicon/untested-implementation.md",
          "ref": "lexicon:untested-implementation"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-behavior-validation",
          "json": "https://banes-lab.com/json/records/lexicon/behavior-validation",
          "label": "Behavior Validation",
          "markdown": "https://banes-lab.com/records/lexicon/behavior-validation.md",
          "ref": "lexicon:behavior-validation"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-broad-input-exploration",
          "json": "https://banes-lab.com/json/records/lexicon/broad-input-exploration",
          "label": "Broad Input Exploration",
          "markdown": "https://banes-lab.com/records/lexicon/broad-input-exploration.md",
          "ref": "lexicon:broad-input-exploration"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-mathematical-assurance",
          "json": "https://banes-lab.com/json/records/lexicon/mathematical-assurance",
          "label": "Mathematical Assurance",
          "markdown": "https://banes-lab.com/records/lexicon/mathematical-assurance.md",
          "ref": "lexicon:mathematical-assurance"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-regression-safety",
          "json": "https://banes-lab.com/json/records/lexicon/regression-safety",
          "label": "Regression Safety",
          "markdown": "https://banes-lab.com/records/lexicon/regression-safety.md",
          "ref": "lexicon:regression-safety"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-reliable-automation",
          "json": "https://banes-lab.com/json/records/lexicon/reliable-automation",
          "label": "Reliable Automation",
          "markdown": "https://banes-lab.com/records/lexicon/reliable-automation.md",
          "ref": "lexicon:reliable-automation"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-reliable-testing",
          "json": "https://banes-lab.com/json/records/lexicon/reliable-testing",
          "label": "Reliable Testing",
          "markdown": "https://banes-lab.com/records/lexicon/reliable-testing.md",
          "ref": "lexicon:reliable-testing"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-safe-operation",
          "json": "https://banes-lab.com/json/records/lexicon/safe-operation",
          "label": "Safe Operation",
          "markdown": "https://banes-lab.com/records/lexicon/safe-operation.md",
          "ref": "lexicon:safe-operation"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-safe-sharing",
          "json": "https://banes-lab.com/json/records/lexicon/safe-sharing",
          "label": "Safe Sharing",
          "markdown": "https://banes-lab.com/records/lexicon/safe-sharing.md",
          "ref": "lexicon:safe-sharing"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-specification-compliance",
          "json": "https://banes-lab.com/json/records/lexicon/specification-compliance",
          "label": "Specification Compliance",
          "markdown": "https://banes-lab.com/records/lexicon/specification-compliance.md",
          "ref": "lexicon:specification-compliance"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-formal-specification",
          "json": "https://banes-lab.com/json/records/lexicon/formal-specification",
          "label": "Formal Specification",
          "markdown": "https://banes-lab.com/records/lexicon/formal-specification.md",
          "ref": "lexicon:formal-specification"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-ruleset",
          "json": "https://banes-lab.com/json/records/lexicon/ruleset",
          "label": "Ruleset",
          "markdown": "https://banes-lab.com/records/lexicon/ruleset.md",
          "ref": "lexicon:ruleset"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-tests",
          "json": "https://banes-lab.com/json/records/lexicon/tests",
          "label": "Tests",
          "markdown": "https://banes-lab.com/records/lexicon/tests.md",
          "ref": "lexicon:tests"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-controlled-state",
          "json": "https://banes-lab.com/json/records/lexicon/controlled-state",
          "label": "Controlled State",
          "markdown": "https://banes-lab.com/records/lexicon/controlled-state.md",
          "ref": "lexicon:controlled-state"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-deterministic-behavior",
          "json": "https://banes-lab.com/json/records/lexicon/deterministic-behavior",
          "label": "Deterministic Behavior",
          "markdown": "https://banes-lab.com/records/lexicon/deterministic-behavior.md",
          "ref": "lexicon:deterministic-behavior"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-no-side-effects",
          "json": "https://banes-lab.com/json/records/lexicon/no-side-effects",
          "label": "No Side Effects",
          "markdown": "https://banes-lab.com/records/lexicon/no-side-effects.md",
          "ref": "lexicon:no-side-effects"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-properties-invariants",
          "json": "https://banes-lab.com/json/records/lexicon/properties-invariants",
          "label": "Properties/Invariants",
          "markdown": "https://banes-lab.com/records/lexicon/properties-invariants.md",
          "ref": "lexicon:properties-invariants"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-value-semantics",
          "json": "https://banes-lab.com/json/records/lexicon/value-semantics",
          "label": "Value Semantics",
          "markdown": "https://banes-lab.com/records/lexicon/value-semantics.md",
          "ref": "lexicon:value-semantics"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-versioned-inputs",
          "json": "https://banes-lab.com/json/records/lexicon/versioned-inputs",
          "label": "Versioned Inputs",
          "markdown": "https://banes-lab.com/records/lexicon/versioned-inputs.md",
          "ref": "lexicon:versioned-inputs"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-allocation-cost",
          "json": "https://banes-lab.com/json/records/lexicon/allocation-cost",
          "label": "Allocation Cost",
          "markdown": "https://banes-lab.com/records/lexicon/allocation-cost.md",
          "ref": "lexicon:allocation-cost"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-continuous-updates",
          "json": "https://banes-lab.com/json/records/lexicon/continuous-updates",
          "label": "Continuous Updates",
          "markdown": "https://banes-lab.com/records/lexicon/continuous-updates.md",
          "ref": "lexicon:continuous-updates"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-cost-complexity",
          "json": "https://banes-lab.com/json/records/lexicon/cost-complexity",
          "label": "Cost/Complexity",
          "markdown": "https://banes-lab.com/records/lexicon/cost-complexity.md",
          "ref": "lexicon:cost-complexity"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-dynamic-runtime-behavior",
          "json": "https://banes-lab.com/json/records/lexicon/dynamic-runtime-behavior",
          "label": "Dynamic Runtime Behavior",
          "markdown": "https://banes-lab.com/records/lexicon/dynamic-runtime-behavior.md",
          "ref": "lexicon:dynamic-runtime-behavior"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-encapsulation-extremes",
          "json": "https://banes-lab.com/json/records/lexicon/encapsulation-extremes",
          "label": "Encapsulation Extremes",
          "markdown": "https://banes-lab.com/records/lexicon/encapsulation-extremes.md",
          "ref": "lexicon:encapsulation-extremes"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-fitness-for-use",
          "json": "https://banes-lab.com/json/records/lexicon/fitness-for-use",
          "label": "Fitness for Use",
          "markdown": "https://banes-lab.com/records/lexicon/fitness-for-use.md",
          "ref": "lexicon:fitness-for-use"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-real-world-variability",
          "json": "https://banes-lab.com/json/records/lexicon/real-world-variability",
          "label": "Real-World Variability",
          "markdown": "https://banes-lab.com/records/lexicon/real-world-variability.md",
          "ref": "lexicon:real-world-variability"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-runtime-adaptivity",
          "json": "https://banes-lab.com/json/records/lexicon/runtime-adaptivity",
          "label": "Runtime Adaptivity",
          "markdown": "https://banes-lab.com/records/lexicon/runtime-adaptivity.md",
          "ref": "lexicon:runtime-adaptivity"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-shrinking-debug-complexity",
          "json": "https://banes-lab.com/json/records/lexicon/shrinking-debug-complexity",
          "label": "Shrinking/Debug Complexity",
          "markdown": "https://banes-lab.com/records/lexicon/shrinking-debug-complexity.md",
          "ref": "lexicon:shrinking-debug-complexity"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-spec-maintenance",
          "json": "https://banes-lab.com/json/records/lexicon/spec-maintenance",
          "label": "Spec Maintenance",
          "markdown": "https://banes-lab.com/records/lexicon/spec-maintenance.md",
          "ref": "lexicon:spec-maintenance"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-stateful-io",
          "json": "https://banes-lab.com/json/records/lexicon/stateful-io",
          "label": "Stateful IO",
          "markdown": "https://banes-lab.com/records/lexicon/stateful-io.md",
          "ref": "lexicon:stateful-io"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-stateful-operations",
          "json": "https://banes-lab.com/json/records/lexicon/stateful-operations",
          "label": "Stateful Operations",
          "markdown": "https://banes-lab.com/records/lexicon/stateful-operations.md",
          "ref": "lexicon:stateful-operations"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-thread-safety",
          "json": "https://banes-lab.com/json/records/lexicon/thread-safety",
          "label": "Thread Safety",
          "markdown": "https://banes-lab.com/records/lexicon/thread-safety.md",
          "ref": "lexicon:thread-safety"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-make-effects-explicit",
          "json": "https://banes-lab.com/json/records/lexicon/make-effects-explicit",
          "label": "Make Effects Explicit",
          "markdown": "https://banes-lab.com/records/lexicon/make-effects-explicit.md",
          "ref": "lexicon:make-effects-explicit"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-pass-context-explicitly",
          "json": "https://banes-lab.com/json/records/lexicon/pass-context-explicitly",
          "label": "Pass Context Explicitly",
          "markdown": "https://banes-lab.com/records/lexicon/pass-context-explicitly.md",
          "ref": "lexicon:pass-context-explicitly"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-inject-clock-and-randomness",
          "json": "https://banes-lab.com/json/records/lexicon/inject-clock-and-randomness",
          "label": "Inject Clock and Randomness",
          "markdown": "https://banes-lab.com/records/lexicon/inject-clock-and-randomness.md",
          "ref": "lexicon:inject-clock-and-randomness"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-test-observable-behavior",
          "json": "https://banes-lab.com/json/records/lexicon/test-observable-behavior",
          "label": "Test Observable Behavior",
          "markdown": "https://banes-lab.com/records/lexicon/test-observable-behavior.md",
          "ref": "lexicon:test-observable-behavior"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-fake-at-the-boundary",
          "json": "https://banes-lab.com/json/records/lexicon/fake-at-the-boundary",
          "label": "Fake at the Boundary",
          "markdown": "https://banes-lab.com/records/lexicon/fake-at-the-boundary.md",
          "ref": "lexicon:fake-at-the-boundary"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-unit-tests",
          "json": "https://banes-lab.com/json/records/lexicon/unit-tests",
          "label": "Unit Tests",
          "markdown": "https://banes-lab.com/records/lexicon/unit-tests.md",
          "ref": "lexicon:unit-tests"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-component-tests",
          "json": "https://banes-lab.com/json/records/lexicon/component-tests",
          "label": "Component Tests",
          "markdown": "https://banes-lab.com/records/lexicon/component-tests.md",
          "ref": "lexicon:component-tests"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-isolate-test-state",
          "json": "https://banes-lab.com/json/records/lexicon/isolate-test-state",
          "label": "Isolate Test State",
          "markdown": "https://banes-lab.com/records/lexicon/isolate-test-state.md",
          "ref": "lexicon:isolate-test-state"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-validate-at-the-boundary",
          "json": "https://banes-lab.com/json/records/lexicon/validate-at-the-boundary",
          "label": "Validate at the Boundary",
          "markdown": "https://banes-lab.com/records/lexicon/validate-at-the-boundary.md",
          "ref": "lexicon:validate-at-the-boundary"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-encapsulate-validation",
          "json": "https://banes-lab.com/json/records/lexicon/encapsulate-validation",
          "label": "Encapsulate Validation",
          "markdown": "https://banes-lab.com/records/lexicon/encapsulate-validation.md",
          "ref": "lexicon:encapsulate-validation"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-validate-as-a-group",
          "json": "https://banes-lab.com/json/records/lexicon/validate-as-a-group",
          "label": "Validate as a Group",
          "markdown": "https://banes-lab.com/records/lexicon/validate-as-a-group.md",
          "ref": "lexicon:validate-as-a-group"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-precondition-check",
          "json": "https://banes-lab.com/json/records/lexicon/precondition-check",
          "label": "Precondition Check",
          "markdown": "https://banes-lab.com/records/lexicon/precondition-check.md",
          "ref": "lexicon:precondition-check"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-invariant-check",
          "json": "https://banes-lab.com/json/records/lexicon/invariant-check",
          "label": "Invariant Check",
          "markdown": "https://banes-lab.com/records/lexicon/invariant-check.md",
          "ref": "lexicon:invariant-check"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-postcondition-check",
          "json": "https://banes-lab.com/json/records/lexicon/postcondition-check",
          "label": "Postcondition Check",
          "markdown": "https://banes-lab.com/records/lexicon/postcondition-check.md",
          "ref": "lexicon:postcondition-check"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-pin-versions",
          "json": "https://banes-lab.com/json/records/lexicon/pin-versions",
          "label": "Pin Versions",
          "markdown": "https://banes-lab.com/records/lexicon/pin-versions.md",
          "ref": "lexicon:pin-versions"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-ignored-analyzer-findings",
          "json": "https://banes-lab.com/json/records/lexicon/ignored-analyzer-findings",
          "label": "Ignored Analyzer Findings",
          "markdown": "https://banes-lab.com/records/lexicon/ignored-analyzer-findings.md",
          "ref": "lexicon:ignored-analyzer-findings"
        }
      ],
      "relation": "terms"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-correctness-determinism-verification",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-correctness-determinism-verification",
          "label": "Correctness / Determinism / Verification",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-correctness-determinism-verification"
        }
      ],
      "relation": "linked-from"
    }
  ],
  "summary": "The Correctness / Determinism / Verification category holds 60 lexicon terms.",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-portability-infrastructure-deployment",
      "json": "https://banes-lab.com/json/records/lexicon-category/portability-infrastructure-deployment",
      "label": "Portability / Infrastructure / Deployment",
      "markdown": "https://banes-lab.com/records/lexicon-category/portability-infrastructure-deployment.md",
      "ref": "lexicon-category:portability-infrastructure-deployment"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-control-coordination-centralization",
      "json": "https://banes-lab.com/json/records/lexicon-category/control-coordination-centralization",
      "label": "Control / Coordination / Centralization",
      "markdown": "https://banes-lab.com/records/lexicon-category/control-coordination-centralization.md",
      "ref": "lexicon-category:control-coordination-centralization"
    }
  },
  "up": {
    "href": null,
    "json": "https://banes-lab.com/json/api/records/lexicon-category",
    "label": "Term categories",
    "markdown": "https://banes-lab.com/api/records/lexicon-category.md",
    "ref": "api:records/lexicon-category"
  }
}