STP 1022
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 2.8/5 - 14 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur STP
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