Проверка модели — в информатике проверка модели или проверка данной модели системы исчерпывающей и автоматической проверки данной модели заданной спецификации. Обычно имеется в виду аппаратное или программное обеспечение, тогда как спецификация содержит требования безопасности, такие как отсутствие взаимоблокировок и подобных критических состояний, которые могут вызвать аварийный отказ системы.
Проверка модели — это метод автоматической проверки корректности систем с конечным числом свойств.
[Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http:// hrwiki.ru›wiki/Glossary_of_artificial_intelligence/, свободный.]