# Correctness / Determinism / Verification

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

## terms

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