STP (Простая теорема Prover): процедура решения/решения ограничений, которая принимает формулы или ограничения, генерируемые инструментами анализа программ/тестового поколения, проверками моделей, поиском ошибок, аппаратным/программным обеспечением формальных инструментов проверки, интеллектуальными фузерами
история версии
- Версия simplifyingSTP%20r1022 размещено на 2010-09-24
Несколько исправлений и обновлений - Версия simplifyingSTP r1022 размещено на 2010-09-24
Подробная информация о программе
- Категории: Развития > Других
- Издателя: sites.google.com/site/stpfastprover/
- Лицензии: Бесплатный
- Цена: N/A
- Версия: 1022
- Платформы: linux