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

Efficient Symbolic Tools

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 3.5/5 - ‎8 ‎Votos

Sobre Efficient Symbolic Tools

O efficient Symbolic Tools package (EST) é uma ferramenta baseada em BDD para a verificação formal de sistemas simultâneos. Suas vantagens são flexibilidade, portabilidade e um gerenciamento eficiente de memória. Ele é executado em diferentes SO, incluindo Linux e Windows 2000/XP.

Programas Relacionados

  • OpenX Android Widget Livre

    Um Widget Android que pode ser usado em aplicativos Android para colocar anúncios servidos pelo OpenX em um layout.

  • Send Sources Livre

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

  • textPlus Messenger+Group Text Livre

    Envie mensagens e fotos para qualquer pessoa ao redor do mundo gratuitamente!APP GRÁTIS para APP* mensagens em qualquer lugar do mundo com textoPlus! Para celulares e tablets Android.Além disso, texto para qualquer número

  • DC# Livre

    DC# é um cliente DirectConnect aprimorado escrito em C# para plataformas .NET. Os recursos planejados incluem recursos aprimorados de interface e pesquisa, explosões de upload acionadas pelo ocioso, downloads de várias fonte

  • AIS IM+ Livre

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

  • MINDdroid Livre

    Controle os robôs LEGO MINDSTORMS com seu telefone Android. 2010/11 O Grupo LEGOMINDdroid é um aplicativo Android 2.1+ para o controle remoto de ação direta em tempo real dos robôs LEGO MINDSTORMS utilizando conexão direta

  • Linux MSN Messenger Engine by Jonathan Livre

    LMME (Linux MSN Messenger Engine) é um motor de protocolo MSN totalmente assíncrono e multithreaded. Se você gosta do meu projeto, por favor, doe para mim através de PayPal para [email protected]

  • Texty : Free SMS (via Way2SMS) Livre

    #Please deixar classificações e e-mails.#We adicionará mais gateways em breve. Texty é um aplicativo que permite enviar sms gratuitos do seu androide usando sua conta online way2sms. Você pode enviar sms para uma única pessoa

  • Panic Button Livre

    O Botão de Pânico fornece um ícone na bandeja do sistema Windows. Ao clicar neste ícone, o usuário pode enviar uma captura de tela e um formulário de relatório para uma central de ajuda ou similar. Isso deve tornar mais fácil

  • .NET UseNet Downloader & Streamer Livre

    .NET usenet cliente (suporte ssl). Eventualmente, o suporte deve suportar o streaming protegido por um servidor e o registro de mídia visto.