# Correctness / Determinism / Verification

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

## principle

- [Determinism](https://banes-lab.com/records/arch/determinism.md)
- [Predictability](https://banes-lab.com/records/arch/predictability.md)
- [Referential Transparency](https://banes-lab.com/records/arch/referential-transparency.md)
- [Pure Functions](https://banes-lab.com/records/arch/pure-functions.md)
- [Immutability](https://banes-lab.com/records/arch/immutability.md)
- [Reproducibility](https://banes-lab.com/records/arch/reproducibility.md)
- [Repeatability](https://banes-lab.com/records/arch/repeatability.md)
- [Correctness](https://banes-lab.com/records/arch/correctness.md)
- [Formal Verification](https://banes-lab.com/records/arch/formal-verification.md)
- [Specification-Based Testing](https://banes-lab.com/records/arch/specification-based-testing.md)
- [Property-Based Testing](https://banes-lab.com/records/arch/property-based-testing.md)
- [Static Analysis](https://banes-lab.com/records/arch/static-analysis.md)
- [Testability](https://banes-lab.com/records/arch/testability.md)
- [Validation](https://banes-lab.com/records/arch/validation.md)
- [Verification](https://banes-lab.com/records/arch/verification.md)