Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. STP

STP 1022

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

STP (Simple Theorem Prover): um procedimento de resolução/decisão de restrição que aceita fórmulas ou restrições geradas por ferramentas de análise/geração de testes de programas, verificadores de modelos, localizadores de bugs, ferramentas de verificação formal de hardware/software, difusores inteligentes

história da versão

  • Versão simplifyingSTP%20r1022 postado em 2010-09-24
    Várias correções e atualizações
  • Versão simplifyingSTP r1022 postado em 2010-09-24

Detalhes do programa

Programas Relacionados

  • Javascript and CSS compress utility Livre

    Ferramenta de linha de comando para comprimir e ofuscar código Javascript e compactar código CSS. (Com base em KJS -- Biblioteca Javascript incluída no KHTML.)

  • EasySnuffle Livre

    O EasySnuffle é uma ferramenta de medição para capturar as mensagens de protocolo, estados de protocolo interno e medir o desempenho de implementação em nódulos de rede. As sondas de medição para UDP, IP e IEEE 802.11b MAC sã

  • Open Streaming Server Livre

    Open Streaming Server é uma entrega de mídia digital. As principais características são: - Streaming de arquivos mp4, 3gp, WMF, QT - Adaptação dinâmica de largura de banda - Balanceamento de carga - Tecnologia de distribuição

  • Chilkat Encryption .NET Component Avaliação gratuita

    Chilkat Crypt .NET é um componente avançado de criptografia que oferece tanto a chave pública RSAcriptografia com assinaturas digitais, bem como algoritmos de criptografia simétrica, incluindoAES (Rijndael), Blowfish e

  • Obfuscator for .NET framework Avaliação gratuita

    O Skatista .NET O ofuscante é uma ferramenta de ofuscação para proteção de código .NET. Implementa todas as técnicas conhecidas de proteção de software e algoritmos de ofuscação.O Skater .NET O ofuscante é uma solução profi

  • Angel USB Clock Vol.2 Livre

    Transforma seu celular em um relógio.Angel USB Clock é um aplicativo que transforma seu celular em um relógio analógico enquanto você e #39;estão tendo sua bateria móvel carregada.[Características]*Será inicialização au

  • EMF Search Plugin Livre

    Emf Search Plugin -- Este plugin Eclipse 3.0 fornece uma página de pesquisa especializada para pesquisar dados de instâncias de modelo EMF serializados em recursos de espaço de trabalho. Atualmente suportados são pesquisas de

  • PV Orientator Livre

    Posicione sua célula solar em um ângulo ideal a qualquer hora e em qualquer lugar do mundo.-----------------------------------------------------------------------------------------------------------------O uso de Energia Sola

  • Eclipse Json Editor Plugin Livre

    O Editor JSON é um plugin simples para o Eclipse IDE que fornece: - Destaque de texto colorido - Uma exibição de árvore de contorno - validação JSON - Formatação de texto - Dobra de texto para o formato de dados JSON.

  • D-Addicts Browser Livre

    D-Addict é a primeira fonte de dramas asiáticos e programas de TV na web: japoneses, coreanos, chineses, hong-kong, taiwaneses, dramas de Cingapura e programas de TV. Acesse facilmente os arquivos mais recentes do D-Addicts e