---
id: checking
requestedLanguage: ru
descriptionLanguage: ru
---

# Model Checking

- Тип: формальный метод
- Группа: Проверки
- Размещение: Проверки / Анализ кода и моделей
- [Источник](<https://lamport.azurewebsites.net/tla/tla.html>)

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

Проверяет свойства модели на пространстве состояний; выводы относятся к модели и её ограничениям.

## Связи

- использует модели, как и: [Model-based Testing](/practices/model/ru.md) (comparison)

[Показать на карте](https://dpm.cnonim.name/#practice=checking&lang=ru)