# The arch records whose category is Correctness / Determinism / Verification

This index as JSON: https://banes-lab.com/json/api/facets/arch/category/correctness-determinism-verification

## Entries

- [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)