# Functional Correctness

> transition in allowedTransitions

Record: `reason:test-surface-functional-correctness`
Kind: test-surface
Canonical: https://banes-lab.com/ontology/reasoning#reason-test-surface-functional-correctness

## dimension

- [function](https://banes-lab.com/records/reason/dimension-function.md)

## evidence-grounds

- [ver-evidence](https://banes-lab.com/records/reason/node-ver-evidence.md)

## invariant

- [correct-state-evolution](https://banes-lab.com/records/reason/invariant-correct-state-evolution.md)

## lens

- [behavioural](https://banes-lab.com/records/reason/lens-behavioural.md)

## predicate-grounds

- [ver-ground-truth](https://banes-lab.com/records/reason/node-ver-ground-truth.md)

## techniques

- [integration-testing](https://banes-lab.com/records/reason/technique-integration-testing.md)
- [model-checking](https://banes-lab.com/records/reason/technique-model-checking.md)

## referenced-by

- [Ver Evidence](https://banes-lab.com/records/reason/node-ver-evidence.md)
- [Ver Ground Truth](https://banes-lab.com/records/reason/node-ver-ground-truth.md)
- [Function](https://banes-lab.com/records/reason/dimension-function.md)
- [Correct State Evolution](https://banes-lab.com/records/reason/invariant-correct-state-evolution.md)
- [Behavioural](https://banes-lab.com/records/reason/lens-behavioural.md)
- [Integration Testing](https://banes-lab.com/records/reason/technique-integration-testing.md)
- [Model Checking](https://banes-lab.com/records/reason/technique-model-checking.md)