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

Efficient Symbolic Tools

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

О Efficient Symbolic Tools

Пакет эффективных символических инструментов (EST) является инструментом на основе BDD для формальной проверки параллельных систем. Его преимуществами являются гибкость, портативность и эффективное управление памятью. Он работает под различными ОС, в том числе Linux и Windows 2000/XP.

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

  • OpenX Android Widget Бесплатный

    Виджет Android, который может быть использован в приложениях Android для разместить рекламу, обслуживаемую OpenX, в макет.

  • Send Sources Бесплатный

    Это программное обеспечение, как "квота;отправить / destinataire"quot;, Но вам не нужно иметь перспективы или Oe, это только для отправки вложения в один адрес или список adress только в одном clik; очень usefull для того что

  • textPlus Messenger+Group Text Бесплатный

    Отправить сообщения и фото для тех, кто по всему миру бесплатно!БЕСПЛАТНОЕ приложение для обмена сообщениями APP в любой точке мира с textPlus! Для Android телефонов и планшетов.Кроме того, текст на любой 10-значный номер

  • DC# Бесплатный

    DC - это расширенный клиент DirectConnect, написанный на платформах .NET. Запланированные функции включают улучшенный интерфейс и возможности поиска, холостого хода загрузки очередей, загрузки с нескольких источников и автом

  • AIS IM+ Бесплатный

    Описание на тайском языкеАИС ИМЗ (Чатн Доля)MSN, Facebook, Twitter, GoogleTalk, Yahoo, MySpace, IC, Jabber, AOL Смайлик , Facebook Онлайн Facebook Twitter Хронология, @Mention, Ответ, Следуйте / Un последователем, Пр

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

    Управление LEGO MINDSTORMS роботов с вашего телефона Android. 2010/11 Группа LEGOMINDdroid является 2,1 "Android приложение для прямого действия в режиме реального времени дистанционного управления LEGO MINDSTORMS роботов с

  • Linux MSN Messenger Engine by Jonathan Бесплатный

    LMME (Linux MSN Messenger Engine) является полностью асинхронным, многонаученным протокольным движоком MSN. Если вам нравится мой проект, пожалуйста, пожертвуйте мне через PayPal [email protected]

  • Texty : Free SMS (via Way2SMS) Бесплатный

    #Please оставить рейтинги и emails.#We добавит больше шлюзов в ближайшее время. Texty это приложение, которое позволяет отправлять бесплатные sms с вашего андроида с помощью онлайн way2sms счета. Вы можете отправить sms одном

  • Panic Button Бесплатный

    Кнопка паники обеспечивает значок в лотке системы Windows. Нажав на эту иконку, пользователь может отправить захват экрана и форму отчета в службу поддержки или аналогичный. Это должно облегчить пользователям предоставление п

  • .NET UseNet Downloader & Streamer Бесплатный

    Клиент usenet .NET (поддержка ssl). В конечном итоге следует поддерживать потоковую передачу буфера с сервера и регистрацию для видных средств массовой информации.