# Correctness / Determinism / Verification

> The Correctness / Determinism / Verification category holds 44 lexicon terms.

Record: `lexicon-category:correctness-determinism-verification`
Kind: category
Canonical: https://banes-lab.com/ontology/lexicon#lexicon-category-correctness-determinism-verification

Listed in [Term categories](https://banes-lab.com/api/records/lexicon-category.md), after [Control / Coordination / Centralization](https://banes-lab.com/records/lexicon-category/control-coordination-centralization.md) and before [Portability / Infrastructure / Deployment](https://banes-lab.com/records/lexicon-category/portability-infrastructure-deployment.md).

## Terms

- [Assumption-Driven Delivery](https://banes-lab.com/records/lexicon/assumption-driven-delivery.md)
- [Environment-Sensitive Behavior](https://banes-lab.com/records/lexicon/environment-sensitive-behavior.md)
- [Example-Only Testing](https://banes-lab.com/records/lexicon/example-only-testing.md)
- [Floating Dependencies](https://banes-lab.com/records/lexicon/floating-dependencies.md)
- [Hidden Behavior](https://banes-lab.com/records/lexicon/hidden-behavior.md)
- [Hidden IO](https://banes-lab.com/records/lexicon/hidden-io.md)
- [Hidden Time/Randomness/Global State](https://banes-lab.com/records/lexicon/hidden-time-randomness-global-state.md)
- [Implementation-Only Testing](https://banes-lab.com/records/lexicon/implementation-only-testing.md)
- [Informal Validation Only](https://banes-lab.com/records/lexicon/informal-validation-only.md)
- [Side Effects](https://banes-lab.com/records/lexicon/side-effects.md)
- [Unchecked Dynamic Code](https://banes-lab.com/records/lexicon/unchecked-dynamic-code.md)
- [Undefined Behavior](https://banes-lab.com/records/lexicon/undefined-behavior.md)
- [Untested Implementation](https://banes-lab.com/records/lexicon/untested-implementation.md)
- [Behavior Validation](https://banes-lab.com/records/lexicon/behavior-validation.md)
- [Broad Input Exploration](https://banes-lab.com/records/lexicon/broad-input-exploration.md)
- [Mathematical Assurance](https://banes-lab.com/records/lexicon/mathematical-assurance.md)
- [Regression Safety](https://banes-lab.com/records/lexicon/regression-safety.md)
- [Reliable Automation](https://banes-lab.com/records/lexicon/reliable-automation.md)
- [Reliable Testing](https://banes-lab.com/records/lexicon/reliable-testing.md)
- [Safe Operation](https://banes-lab.com/records/lexicon/safe-operation.md)
- [Safe Sharing](https://banes-lab.com/records/lexicon/safe-sharing.md)
- [Specification Compliance](https://banes-lab.com/records/lexicon/specification-compliance.md)
- [Formal Specification](https://banes-lab.com/records/lexicon/formal-specification.md)
- [Ruleset](https://banes-lab.com/records/lexicon/ruleset.md)
- [Tests](https://banes-lab.com/records/lexicon/tests.md)
- [Controlled State](https://banes-lab.com/records/lexicon/controlled-state.md)
- [Deterministic Behavior](https://banes-lab.com/records/lexicon/deterministic-behavior.md)
- [No Side Effects](https://banes-lab.com/records/lexicon/no-side-effects.md)
- [Properties/Invariants](https://banes-lab.com/records/lexicon/properties-invariants.md)
- [Value Semantics](https://banes-lab.com/records/lexicon/value-semantics.md)
- [Versioned Inputs](https://banes-lab.com/records/lexicon/versioned-inputs.md)
- [Allocation Cost](https://banes-lab.com/records/lexicon/allocation-cost.md)
- [Continuous Updates](https://banes-lab.com/records/lexicon/continuous-updates.md)
- [Cost/Complexity](https://banes-lab.com/records/lexicon/cost-complexity.md)
- [Dynamic Runtime Behavior](https://banes-lab.com/records/lexicon/dynamic-runtime-behavior.md)
- [Encapsulation Extremes](https://banes-lab.com/records/lexicon/encapsulation-extremes.md)
- [Fitness for Use](https://banes-lab.com/records/lexicon/fitness-for-use.md)
- [Real-World Variability](https://banes-lab.com/records/lexicon/real-world-variability.md)
- [Runtime Adaptivity](https://banes-lab.com/records/lexicon/runtime-adaptivity.md)
- [Shrinking/Debug Complexity](https://banes-lab.com/records/lexicon/shrinking-debug-complexity.md)
- [Spec Maintenance](https://banes-lab.com/records/lexicon/spec-maintenance.md)
- [Stateful IO](https://banes-lab.com/records/lexicon/stateful-io.md)
- [Stateful Operations](https://banes-lab.com/records/lexicon/stateful-operations.md)
- [Thread Safety](https://banes-lab.com/records/lexicon/thread-safety.md)