Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. Efficient Symbolic Tools
  5. Download

Efficient Symbolic Tools

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.5/5 - ‎8 ‎votos

Sobre Efficient Symbolic Tools

O pacote De Ferramentas Simbólicas Eficientes (EST) é uma ferramenta baseada em BDD para a verificação formal de sistemas simultâneos. As suas vantagens são a flexibilidade, a portabilidade e uma gestão eficiente da memória. Funciona com diferentes SISTEMAS, incluindo Linux e Windows 2000/XP.

Programas Relacionados

  • OpenX Android Widget Grátis

    Um Widget Android que pode ser usado em aplicações Android para colocar anúncios servidos pelo OpenX num layout.

  • Send Sources Grátis

    Este software é como o "enviar para/destinaire",mas você não precisa ter outlook ou Oe, é apenas para enviar anexo a um adress ou uma lista de adress em apenas um clik; muito útil para enviar para/de fonte em empreg

  • textPlus Messenger+Group Text Grátis

    Envie mensagens e fotos a qualquer pessoa em todo o mundo gratuitamente!APP GRÁTIS para APP* mensagens em qualquer lugar do mundo com textPlus! Para telefones Android e tablets.Além disso, envie sms para qualquer número d

  • DC# Grátis

    DC# é um cliente DirectConnect melhorado escrito em C# para plataformas .NET. As funcionalidades planeadas incluem capacidades de interface e pesquisa melhoradas, explosões de upload acionadas por ocioso, transferências de v

  • AIS IM+ Grátis

    Descrição em tailandêsAIS IM+ (Chatn Share)MSN, Facebook, Twitter, GoogleTalk, Yahoo, MySpace, ICQ, Jabber, AOL Emoticon, Facebook Online Facebook Linha do Twitter, @Mention, Resposta, Seguidor/Un, Perfil do Utilizad

  • MINDdroid Grátis

    Controle os robôs LEGO MINDSTORMS com o seu telemóvel Android. 2010/11 O Grupo LEGOO MINDdroid é um Aplicativo Android 2.1+ para o controlo remoto de ação direta em tempo real de robôs LEGO MINDSTORMS que utiliza ligação se

  • Linux MSN Messenger Engine by Jonathan Grátis

    LMME (Linux MSN Messenger Engine) é um motor de protocolo MSN totalmente assíncronos e multi-lisinado. Se gosta do meu projeto, por favor, doe-me através de PayPal para [email protected]

  • Texty : Free SMS (via Way2SMS) Grátis

    #Please deixar classificações e e-mails.#We adicionará mais gateways em breve. Texty é uma aplicação que permite enviar SMS grátis a partir do seu android usando a sua conta online way2sms. Pode enviar sms a uma única pessoa

  • Panic Button Grátis

    O Botão de Pânico fornece um ícone na bandeja do sistema Windows. Ao clicar neste ícone, um utilizador pode enviar um ecrã grab e um formulário de relatório para um balcão de ajuda ou similares. Isto deve facilitar aos utiliz

  • .NET UseNet Downloader & Streamer Grátis

    .NET usenet cliente (suporte ssl). Eventualmente, deve suportar o streaming tamponado a partir de um servidor, e iniciar sessão para os meios de comunicação vistos.