Invia software
  1. Casa
  2. Linux
  3. Altro
  4. STP

STP 1022

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 2.8/5 - ‎14 ‎Voti
Scaricare

STP (Simple Theorem Prover): una procedura di risolutore di vincoli/decisione che accetta formule o vincoli generati da strumenti di analisi/generazione di test del programma, controllori di modelli, ricerca di bug, strumenti di verifica formale hardware/software, fuzzer intelligenti

cronologia delle versioni

  • Versione simplifyingSTP%20r1022 pubblicato il 2010-09-24
    Diverse correzioni e aggiornamenti
  • Versione simplifyingSTP r1022 pubblicato il 2010-09-24

Dettagli del programma

Programmi correlati

  • Javascript and CSS compress utility Gratuito

    Strumento da riga di comando per comprimere e offuscare il codice Javascript e comprimere il codice CSS. (Basato su KJS -- Libreria Javascript inclusa in KHTML.)

  • EasySnuffle Gratuito

    EasySnuffle è uno strumento di misurazione per l'acquisizione dei messaggi di protocollo, degli stati interni del protocollo e per misurare le prestazioni di implementazione sui nodi di rete. Vengono implementate sonde di mis

  • Open Streaming Server Gratuito

    Open Streaming Server è una distribuzione multimediale digitale. Le caratteristiche principali sono: - Streaming di file mp4, 3gp, WMF, QT - Adattamento dinamico della larghezza di banda - Bilanciamento del carico - Tecnologi

  • Chilkat Encryption .NET Component Prova gratuita

    Chilkat Crypt .NET è un componente di crittografia avanzato che offre sia la chiave pubblica RSAcrittografia con firme digitali e algoritmi di crittografia simmetrica, tra cuiAES (Rijndael), Blowfish e Twofish. Offre la

  • Obfuscator for .NET framework Prova gratuita

    Skater .NET Obfuscator è uno strumento di offuscamento per la protezione del codice .NET. Implementa tutte le tecniche di protezione software note e gli algoritmi di offuscamento.Skater .NET Obfuscator è una soluzione profe

  • Angel USB Clock Vol.2 Gratuito

    Trasforma il tuo cellulare in un orologio.Angel USB Clock è un'app che trasforma il tuo cellulare in un orologio analogico mentre #39 stai caricando la batteria mobile.[Caratteristiche]*Si avvia automaticamente come oro

  • EMF Search Plugin Gratuito

    Plug-in di ricerca EMF - Questo plug-in Eclipse 3.0 fornisce una pagina di ricerca specializzata nella ricerca di dati di istanza del modello EMF serializzati nelle risorse dell'area di lavoro. Attualmente supportate sono le

  • PV Orientator Gratuito

    Posiziona la tua cella solare con un angolo ottimale in qualsiasi momento e in qualsiasi parte del mondo.-----------------------------------------------------------------------------------------------------------------L'uso d

  • Eclipse Json Editor Plugin Gratuito

    JSON Editor è un semplice plugin per Eclipse IDE che fornisce: - Evidenziazione del testo a colori - Una visualizzazione Struttura - Convalida JSON - Formattazione del testo - Piegatura del testo per il formato dati JSON.

  • D-Addicts Browser Gratuito

    D-Addict è la prima fonte di drammi e programmi TV asiatici sul web: giapponesi, coreani, cinesi, hong-kong, taiwanesi, drammi di Singapore e programmi TV. Accedi facilmente ai file più recenti di D-Addicts e cerca. Apri la p