формальная верификация вас не спасет! Спецификация может содержать ошибки!!