Существуют формальные, программно реализованные методы распознавания тупиков, основанные на анализе таблиц распределения ресурсов и таблиц запросов к ... ресурсам.

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.