Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. STP
  5. Download

STP 1022

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 2.8/5 - ‎14 ‎Голосов

О STP

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

Похожие программы

  • Javascript and CSS compress utility Бесплатный

    Инструмент командной строки для сжатия и запутывания кода Javascript и сжатия кода CSS. (Основываясь на KJS -- Библиотека Javascript, включенная в KHTML.)

  • EasySnuffle Бесплатный

    EasySnuffle является инструментом измерения для захвата протокольных сообщений, внутренних состояний протокола и измерения производительности реализации на сетевых узлах. Реализованы измерительные зонды для UDP, IP и IEEE 802

  • Open Streaming Server Бесплатный

    Open Streaming Server - это цифровая доставка мультимедиа. Основные характеристики: - Потоковая передача mp4, 3gp, WMF, qT файлов - Динамическая адаптация пропускной способности - Балансировка нагрузки - Технология распределе

  • Chilkat Encryption .NET Component Бесплатная пробная версия

    Chilkat Crypt .NET является передовым компонентом шифрования, который предлагает как RSA public-keyшифрование с цифровыми подписями, а также симметричные алгоритмы шифрования, включаяAES (Рейндаэль), Blowfish, и Twofish

  • Obfuscator for .NET framework Бесплатная пробная версия

    Skater .NET Obfuscator является инструментом запутывания для защиты кода .NET. Он реализует все известные методы защиты программного обеспечения и алгоритмы запутывания.Skater .NET Obfuscator является комплексным профессион

  • Angel USB Clock Vol.2 Бесплатный

    Превращает ваш мобильный телефон в часы.Angel USB Часы это приложение, которое превращает ваш мобильный телефон в аналоговые часы в то время как вы и #39;re с вашей мобильной батареи заряжены.(Особенности)«Будет автомат

  • EMF Search Plugin Бесплатный

    EMF Search Plugin -- Этот плагин Eclipse 3.0 предоставляет страницу поиска, специализированную для поиска данных экземпляра модели EMF, сериализованных для ресурсов рабочего пространства. В настоящее время поддерживаются регу

  • PV Orientator Бесплатный

    Распоистите солнечный элемент под оптимальным углом в любое время и в любой точке мира.-----------------------------------------------------------------------------------------------------------------Потребления солнечной эне

  • Eclipse Json Editor Plugin Бесплатный

    Редактор JSON является простым плагином для Eclipse IDE, который обеспечивает: - Цветной текст подчеркивая - Представление дерева контура - JSON проверки - Форматирование текста - Текст складывания для формата данных JSON.

  • D-Addicts Browser Бесплатный

    D-Addict является первым источником азиатских драм и телевизионных шоу в Интернете: японский, корейский, китайский, Гонконг, тайваньский, сингапурских драм и телевизионных шоу. Легко получить доступ к D-addicts последние файл