---
id: checking
requestedLanguage: en
descriptionLanguage: en
---

# Model Checking

- Type: formal method
- Group: Verification
- Placement: Verification / Code and model analysis
- [Source](<https://lamport.azurewebsites.net/tla/tla.html>)

[HTML](https://dpm.cnonim.name/practices/checking/)

Checks a model's properties across its state space; conclusions apply to the model and its assumptions.

## Relationships

- uses models, as does: [Model-based Testing](/practices/model/en.md) (comparison)

[Show on the map](https://dpm.cnonim.name/#practice=checking&lang=en)