# Informal Validation Only

> Relying only on informal checks and testing where a formal proof of correctness is warranted.

Record: `lex:informal-validation-only`
Kind: anti-pattern
Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lex-informal-validation-only

## category

- [Correctness / Determinism / Verification](https://banes-lab.com/records/lex-category/correctness-determinism-verification.md)

## referenced-by

- [Formal Verification](https://banes-lab.com/records/arch/formal-verification.md)