Software einreichen
  1. Startseite
  2. Linux
  3. Andere
  4. STP

STP 1022

Lizenz: kostenlos ‎Dateigröße: N/A
‎Benutzerbewertung: 2.8/5 - ‎14 ‎Stimmen
Herunterladen

STP (Simple Theorem Prover): ein Einschränkungslöser/Entscheidungsverfahren, das Formeln oder Einschränkungen akzeptiert, die von Programmanalyse-/Testgenerierungstools, Modellprüfern, Fehlerfindern, formalen Hardware-/Software-Verifizierungstools, intelligenten Fuzzern generiert werden

VERSIONSVERLAUF

  • Version simplifyingSTP%20r1022 veröffentlicht auf 2010-09-24
    Mehrere Korrekturen und Updates
  • Version simplifyingSTP r1022 veröffentlicht auf 2010-09-24

Programmdetails

Verwandte Programme

  • Javascript and CSS compress utility kostenlos

    Befehlszeilentool zum Komprimieren und Verschleiern von Javascript-Code und Komprimieren von CSS-Code. (Basierend auf KJS -- Javascript-Bibliothek in KHTML enthalten.)

  • EasySnuffle kostenlos

    EasySnuffle ist ein Messtool zur Erfassung von Protokollmeldungen, internen Protokollzuständen und zur Messung der Implementierungsleistung auf Netzwerkknoten. Messsonden für UDP, IP und IEEE 802.11b MAC sind implementiert.

  • Open Streaming Server kostenlos

    Open Streaming Server ist eine digitale Medienbereitstellung. Hauptmerkmale sind: - Streaming von mp4, 3gp, WMF, QT-Dateien - Dynamische Bandbreitenanpassung - Lastenausgleich - Content Distribution Technology: C++, Java und

  • Chilkat Encryption .NET Component Kostenlose Testversion

    Chilkat Crypt .NET ist eine erweiterte Verschlüsselungskomponente, die sowohl RSA-Public-Key-Verschlüsselung mit digitalen Signaturen sowie symmetrischen Verschlüsselungsalgorithmen,AES (Rijndael), Blowfish und Twofish.

  • Obfuscator for .NET framework Kostenlose Testversion

    Skater .NET Obfuscator ist ein Verschleierungstool für .NET-Codeschutz. Es implementiert alle bekannten Software-Schutz-Techniken und Verschleierungsalgorithmen.Skater .NET Obfuscator ist eine umfassende professionelle Lösu

  • Angel USB Clock Vol.2 kostenlos

    Verwandelt Ihr Handy in eine Uhr.Angel USB Clock ist eine App, die Ihr Handy in eine analoge Uhr verwandelt, während Sie & #39;re Ihren mobilen Akku aufgeladen haben.[Features]* Wird automatisch als Uhr gestartet, w

  • EMF Search Plugin kostenlos

    EMF-Such-Plugin – Dieses Eclipse 3.0-Plugin bietet eine Suchseite, die für die Suche nach EMF-Modellinstanzdaten spezialisiert ist, die an Arbeitsbereichsressourcen serialisiert werden. Derzeit werden regelmäßige Textsuchen u

  • PV Orientator kostenlos

    Positionieren Sie Ihre Solarzelle jederzeit und überall auf der Welt in einem optimalen Winkel.-----------------------------------------------------------------------------------------------------------------Die Nutzung von S

  • Eclipse Json Editor Plugin kostenlos

    Der JSON Editor ist ein einfaches Plugin für die Eclipse IDE, das Folgendes bietet: - Farbtexthervorhebung - Eine Gliederungsstrukturansicht - JSON-Validierung - Textformatierung - Textfaltung für das JSON-Datenformat.

  • D-Addicts Browser kostenlos

    D-Addict ist die erste Quelle asiatischer Dramen und TV-Shows im Internet: Japanisch, Koreanisch, Chinesisch, Hongkong, Taiwanesisch, Singapur-Dramen und TV-Shows. Greifen Sie ganz einfach auf D-Addicts neueste Dateien und su