Submit Software
  1. Home
  2. Linux
  3. Other
  4. STP
  5. Download

STP 1022

License: Free ‎File size: N/A
‎Users Rating: 2.8/5 - ‎14 ‎votes

ABOUT STP

STP (Simple Theorem Prover): a constraint solver/decision procedure that accepts formulas or constraints generated by program analysis/test generation tools, model checkers, bug finders, hardware/software formal verification tools, intelligent fuzzers

Related Programs

  • Javascript and CSS compress utility Free

    Command line tool to compress and obfuscate Javascript code and compress CSS code. (Based on KJS -- Javascript library included in KHTML.)

  • EasySnuffle Free

    EasySnuffle is a measurement tool for capturing the protocol messages, internal protocol states and to measure implementation performance on networking nodes. Measuring probes for UDP, IP and IEEE 802.11b MAC are implemented.

  • Open Streaming Server Free

    Open Streaming Server is an digital media delivery. Main characteristics are: - Streaming of mp4, 3gp, WMF, QT files - Dynamic Bandwidth adaptation - Load balancing - Content distribution Technology: C++, Java and CORBA.

  • Chilkat Encryption .NET Component Free Trial

    Chilkat Crypt .NET is an advanced encryption component that offers both RSA public-keyencryption with digital signatures as well as symmetric encryption algorithms includingAES (Rijndael), Blowfish, and Twofish. It provid

  • Obfuscator for .NET framework Free Trial

    Skater .NET Obfuscator is an obfuscation tool for .NET code protection. It implements all known software protection techniques and obfuscation algorithms.Skater .NET Obfuscator is a comprehensive professional solution for .N

  • Angel USB Clock Vol.2 Free

    Turns your mobile into a clock.Angel USB Clock is an app that turns your mobile into an analog clock while you're having your mobile battery charged. [Features]

  • EMF Search Plugin Free

    EMF Search Plugin -- This Eclipse 3.0 plugin provides a search page specialized for searching EMF model instance data serialized to workspace resources. Currently supported are regular text searches and XPath searches (using

  • PV Orientator Free

    Position your solar cell at an optimal angle anytime and anywhere in the world.-----------------------------------------------------------------------------------------------------------------The usage of Solar Energy has inc

  • Eclipse Json Editor Plugin Free

    The JSON Editor is a simple plugin for the Eclipse IDE that provides: - Color text highlighting - An Outline Tree view - JSON validation - Text formatting - Text folding for the JSON data format.

  • D-Addicts Browser Free

    D-Addict is the first source of Asian dramas and TV shows on the web: Japanese, Korean, Chinese, Hong-Kong, Taiwanese, Singaporean dramas and TV shows.Easily access D-Addicts most recent files, and search. Open the page in th