Программы sites.google.com/site/stpfastprover/

STP (Простая теорема Prover): процедура решения/решения ограничений, которая принимает формулы или ограничения, генерируемые инструментами анализа программ/тестового поколения, проверками моделей, поиском ошибок, аппаратным/п