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

STP 1022

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

STP (Simple Teorema 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 programas, verificadores de modelos, verificadores de bugs, ferramentas de verificação formais de hardware/software, fuzzers 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 Grátis

    Ferramenta de linha de comando para comprimir e obfuscar código Javascript e comprimir código CSS. (Baseado em KJS -- Biblioteca Javascript incluída na KHTML.)

  • EasySnuffle Grátis

    EasySnuffle é uma ferramenta de medição para capturar as mensagens de protocolo, estados de protocolo internos e medir o desempenho da implementação nos nós de rede. São implementadas sondas de medição para UDP, IP e IEEE 802

  • Open Streaming Server Grátis

    Open Streaming Server é uma entrega de mídia digital. Principais características são: - Streaming de mp4, 3gp, WMF, ficheiros QT - Adaptação dinâmica da largura de banda - Equilíbrio de carga - Tecnologia de distribuição de c

  • Chilkat Encryption .NET Component Julgamento Gratuito

    Chilkat Crypt .NET é um componente avançado de encriptação que oferece tanto a chave pública RSAencriptação com assinaturas digitais, bem como algoritmos de encriptação simétricos, incluindoAES (Rijndael), Blowfish e Tw

  • Obfuscator for .NET framework Julgamento Gratuito

    Skater .NET Obfuscator é uma ferramenta de obfuscção para proteção do código .NET. Implementa todas as técnicas conhecidas de proteção de software e algoritmos de obfuscação.Skater .NET Obfuscator é uma solução profissional

  • Angel USB Clock Vol.2 Grátis

    Transforma o teu telemóvel num relógio.Angel USB Clock é uma aplicação que transforma o seu telemóvel num relógio analógico enquanto está #39 a ter a bateria móvel carregada.[Características]*Será automaticamente reinic

  • EMF Search Plugin Grátis

    Emf Search Plugin -- Este plugin Eclipse 3.0 fornece uma página de pesquisa especializada para pesquisar dados de exemplo de modelo emF serializados para recursos do espaço de trabalho. Atualmente suportados são pesquisas reg

  • PV Orientator Grátis

    Posicione a sua célula solar num ângulo ideal a qualquer momento e em qualquer parte do mundo.-----------------------------------------------------------------------------------------------------------------A utilização da En

  • Eclipse Json Editor Plugin Grátis

    O JSON Editor é um plugin simples para o Eclipse IDE que fornece: - Destaque de texto de cor - Uma visão de Árvore de Contorno - validação JSON - Formatação de texto - Dobra de texto para o formato de dados JSON.

  • D-Addicts Browser Grátis

    D-Addict é a primeira fonte de dramas e programas de TV asiáticos na web: Japoneses, coreanos, chineses, Hong-Kong, Taiwan, dramas de Singapura e séries de TV. Aceda facilmente aos D-Addicts os ficheiros mais recentes e procu