Вампир (обеспечивает теорема)
Вампир (доказательство теоремы) Обзор Vampire Vampire — это автоматическое средство доказательства теорем для классической логики первого порядка. Разработано на факультете […]
Вики
Программные системы для доказательства теорем
Вики
Набор инструментов для статического анализа программного обеспечения MALPAS
Набор инструментов статического анализа программного обеспечения MALPAS Обзор MALPAS MALPAS — это набор инструментов для статического анализа программного обеспечения. Он
Вики
Двенадцать
Twelf Основы Twelf Twelf — это логическая платформа, разработанная в Университете Карнеги-Меллона. Используется для логического программирования и формализации языков программирования.
Вики
Вольфрам Математика
Вольфрам Математика Машинный перевод является отправной точкой для перевода, но требует исправления ошибок и подтверждения точности. Рекомендуется добавлять тему в