Software verzenden
  1. Home
  2. Linux
  3. Andere
  4. STP

STP 1022

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 2.8/5 - ‎14 ‎Stemmen
Downloaden

STP (Simple Theorem Prover): een beperking oplosser / beslissingsprocedure die formules of beperkingen gegenereerd door programma-analyse / test generatie tools, model checkers, bug finders, hardware / software formele verificatie tools, intelligente fuzzers accepteert

versiegeschiedenis

  • Versie simplifyingSTP%20r1022 geplaatst op 2010-09-24
    Verschillende oplossingen en updates
  • Versie simplifyingSTP r1022 geplaatst op 2010-09-24

Programmadetails

Gerelateerde programma's

  • Javascript and CSS compress utility Gratis

    Opdrachtregelgereedschap om Javascript-code te comprimeren en te verdoezlen en CSS-code te comprimeren. (Gebaseerd op KJS - Javascript bibliotheek opgenomen in KHTML.)

  • EasySnuffle Gratis

    EasySnuffle is een meettool voor het vastleggen van de protocolberichten, interne protocoltoestanden en het meten van implementatieprestaties op netwerkknooppunten. Meetsondes voor UDP, IP en IEEE 802.11b MAC worden geïmpleme

  • Open Streaming Server Gratis

    Open Streaming Server is een digitale medialevering. Belangrijkste kenmerken zijn: - Streaming van mp4, 3gp, WMF, QT-bestanden - Dynamic Bandwidth adaptation - Load balancing - Content distribution Technology: C++, Java en CO

  • Chilkat Encryption .NET Component Gratis proefperiode

    Chilkat Crypt .NET is een geavanceerde encryptiecomponent die zowel RSA public-key biedtversleuteling met digitale handtekeningen en symmetrische encryptie-algoritmen, waaronderAES (Rijndael), Blowfish en Twofish. Het b

  • Obfuscator for .NET framework Gratis proefperiode

    Skater .NET Obfuscator is een verduisteringstool voor .NET-codebeveiliging. Het implementeert alle bekende software beveiligingstechnieken en verduistering algoritmen.Skater .NET Obfuscator is een uitgebreide professionele

  • Angel USB Clock Vol.2 Gratis

    Verandert je mobiel in een klok.Angel USB Clock is een app die van uw mobiele telefoon een analoge klok maakt terwijl u uw mobiele batterij opnieuw #39;opnieuw opgeladen hebt.[Kenmerken]*Start automatisch als een klok,

  • EMF Search Plugin Gratis

    EMF Search Plugin - Deze Eclipse 3.0 plugin biedt een zoekpagina gespecialiseerd voor het zoeken emf model instantie gegevens geserialiseerd om werkruimte middelen. Momenteel ondersteund zijn regelmatige tekst zoekopdrachten

  • PV Orientator Gratis

    Plaats uw zonnecel in een optimale hoek altijd en overal in de wereld.-----------------------------------------------------------------------------------------------------------------Het gebruik van zonne-energie is onlangs t

  • Eclipse Json Editor Plugin Gratis

    De JSON Editor is een eenvoudige plug-in voor de Eclipse IDE die biedt: - Kleur tekst highlighting - Een Overzichtsstructuur weergave - JSON validatie - Tekst opmaak - Tekst vouwen voor de JSON-gegevensformaat.

  • D-Addicts Browser Gratis

    D-Addict is de eerste bron van Aziatische drama's en tv-programma's op het web: Japans, Koreaans, Chinees, Hong-Kong, Taiwanees, Singaporese drama's en tv-programma's. Krijg eenvoudig toegang tot de meest recente bestanden va