Без заголовка

Обычно это называется model checking, в книжке http://techinvestlab.ru/systems_engineering_thinking на странице 80 это помянуто. https://en.wikipedia.org/wiki/Model_checking