# Correctness / Determinism / Verification

> The Correctness / Determinism / Verification category holds 15 architecture principles.

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

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

## Principle

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

## Layer

- [Computation Core](https://banes-lab.com/records/layer/computation-core.md)