Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. STP

STP 1022

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 2.8/5 - ‎14 ‎Votes
Télécharger

STP (Simple Theorem Prover) : une procédure de résolution/décision de contrainte qui accepte les formules ou les contraintes générées par l’analyse de programme/outils de génération de test, les pions de modèle, les finders de bogue, les outils formels de vérification de matériel/logiciel, les fuzzers intelligents

historique de la version

  • Version simplifyingSTP%20r1022 posté sur 2010-09-24
    Plusieurs correctifs et mises à jour
  • Version simplifyingSTP r1022 posté sur 2010-09-24

Détails du programme

Programmes connexes

  • Javascript and CSS compress utility Gratuit

    Outil de ligne de commande pour compresser et obscurcir le code Javascript et compresser le code CSS. (Basé sur KJS -- Bibliothèque Javascript incluse dans KHTML.)

  • EasySnuffle Gratuit

    EasySnuffle est un outil de mesure pour capturer les messages de protocole, les états de protocole internes et pour mesurer les performances de mise en œuvre sur les nœuds de réseau. Des sondes de mesure pour UDP, IP et IEEE

  • Open Streaming Server Gratuit

    Open Streaming Server est une livraison multimédia numérique. Les principales caractéristiques sont les suivantes: - Streaming de fichiers mp4, 3gp, WMF, QT - Adaptation dynamique de la bande passante - équilibrage de charge

  • Chilkat Encryption .NET Component Essai gratuit

    Chilkat Crypt .NET est un composant de cryptage avancé qui offre à la fois RSAcryptage avec signatures numériques ainsi que des algorithmes de cryptage symétriques, y comprisAES (Rijndael), Blowfish, et Twofish. Il offr

  • Obfuscator for .NET framework Essai gratuit

    Skater .NET Obfuscator est un outil d’obscurcissement pour la protection du code .NET. Il implémente toutes les techniques connues de protection logicielle et les algorithmes d’obscurcissement.Skater .NET Obfuscator est une

  • Angel USB Clock Vol.2 Gratuit

    Transforme votre mobile en horloge.Angel USB Clock est une application qui transforme votre mobile en une horloge analogique pendant que vous & #39;re ayant votre batterie mobile chargée.[Caractéristiques]*Démarre a

  • EMF Search Plugin Gratuit

    Plugin de recherche EMF -- Ce plugin Eclipse 3.0 fournit une page de recherche spécialisée dans la recherche de données d’instance de modèle EMF sérialisées sur les ressources de l’espace de travail. Actuellement pris en char

  • PV Orientator Gratuit

    Placez votre cellule solaire à un angle optimal à tout moment et n’importe où dans le monde.-----------------------------------------------------------------------------------------------------------------L’utilisation de l’é

  • Eclipse Json Editor Plugin Gratuit

    L’éditeur JSON est un plugin simple pour l’Eclipse IDE qui fournit: - Mise en surbrillance du texte couleur - Une vue d’arbre de contour - validation JSON - Formatage de texte - Pliage de texte pour le format de données JSON.

  • D-Addicts Browser Gratuit

    D-Addict est la première source de drames et d’émissions de télévision asiatiques sur le web : japonais, coréen, chinois, hongkongais, taïwanais, singapouriens et émissions de télévision. Accédez facilement aux fichiers les p