# Model Checking

Record: `reason:technique-model-checking`
Kind: technique
Canonical: https://banes-lab.com/ontology/reasoning#reason-technique-model-checking

## mode

- [explanation](https://banes-lab.com/records/reason/mode-explanation.md)

## surfaces

- [functional-correctness](https://banes-lab.com/records/reason/test-surface-functional-correctness.md)
- [protocol-correctness](https://banes-lab.com/records/reason/test-surface-protocol-correctness.md)

## referenced-by

- [Explanation](https://banes-lab.com/records/reason/mode-explanation.md)
- [Functional Correctness](https://banes-lab.com/records/reason/test-surface-functional-correctness.md)
- [Protocol Correctness](https://banes-lab.com/records/reason/test-surface-protocol-correctness.md)