# Correctness Verification

> Push nondeterminism to boundaries, prefer pure deterministic core logic, validate specifications with static analysis, type checks, property tests, contract tests, formal methods where useful, and reproducible test environments.

Record: `algo:correctness-verification`
Kind: arch-relationships
Canonical: https://banes-lab.com/ontology/algorithms#algo-correctness-verification
Closure: https://banes-lab.com/json/records/algo/correctness-verification/closure

## composes

- [Deterministic Core](https://banes-lab.com/records/algo/deterministic-core.md)