Пробовал. Несмотря на несколько ложных срабатываний, он нашел ошибки в уравнениях модели, множество несоответствий в нотации, много возможностей для улучшения ясности написания и многие другие детали. Действительно удивительный инструмент, буду использовать снова и настоятельно рекомендую его. @ben_golub