Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. STP

STP 1022

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 2.8/5 - ‎14 ‎Votos
Descargar

STP (Simple Theorem Prover): un procedimiento de resolución/resolución de restricciones que acepta fórmulas o restricciones generadas por herramientas de análisis/generación de pruebas de programas, verificadores de modelos, buscadores de errores, herramientas de verificación formal de hardware/software, fuzzers inteligentes

historial de versiones

  • Versión simplifyingSTP%20r1022 publicado en 2010-09-24
    Varias correcciones y actualizaciones
  • Versión simplifyingSTP r1022 publicado en 2010-09-24

Detalles del programa

Programas relacionados

  • Javascript and CSS compress utility Gratis

    Herramienta de línea de comandos para comprimir y ofuscar código Javascript y comprimir código CSS. (Basado en KJS -- Biblioteca Javascript incluida en KHTML.)

  • EasySnuffle Gratis

    EasySnuffle es una herramienta de medición para capturar los mensajes de protocolo, los estados de protocolo interno y para medir el rendimiento de la implementación en nodos de red. Se implementan sondas de medición para UDP

  • Open Streaming Server Gratis

    Open Streaming Server es una entrega de medios digitales. Las características principales son: - Streaming de archivos mp4, 3gp, WMF, QT - Adaptación dinámica del ancho de banda - Equilibrio de carga - Tecnología de distribuc

  • Chilkat Encryption .NET Component Prueba gratuita

    Chilkat Crypt .NET es un componente de cifrado avanzado que ofrece tanto la clave pública RSAcon firmas digitales, así como algoritmos de cifrado simétricos,AES (Rijndael), Blowfish y Twofish. Proporciona la capacidad d

  • Obfuscator for .NET framework Prueba gratuita

    Skater .NET Obfuscator es una herramienta de ofuscación para la protección de código .NET. Implementa todas las técnicas de protección de software conocidas y algoritmos de ofuscación.Skater .NET Obfuscator es una solución

  • Angel USB Clock Vol.2 Gratis

    Convierte tu móvil en un reloj.Angel USB Clock es una aplicación que convierte tu móvil en un reloj analógico mientras #39 tienes la batería móvil cargada.[Características]*Se iniciará automáticamente como un reloj, cua

  • EMF Search Plugin Gratis

    Complemento de búsqueda EMF: este complemento de Eclipse 3.0 proporciona una página de búsqueda especializada para buscar datos de instancias de modelo EMF serializados en recursos de espacio de trabajo. Actualmente se admite

  • PV Orientator Gratis

    Posicione su célula solar en un ángulo óptimo en cualquier momento y en cualquier lugar del mundo.-----------------------------------------------------------------------------------------------------------------El uso de Ener

  • Eclipse Json Editor Plugin Gratis

    El Editor JSON es un complemento simple para el IDE de Eclipse que proporciona: - Resaltado de texto de color - Una vista de árbol de esquema - Validación JSON - Formato de texto - Plegado de texto para el formato de datos JS

  • D-Addicts Browser Gratis

    D-Addict es la primera fuente de dramas asiáticos y programas de televisión en la web: japonés, coreano, chino, Hong-Kong, taiwanés, dramas y programas de televisión de Singapur. Acceda fácilmente a los archivos más recientes