STP 1022
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 2.8/5 - 14 Votos
Espera... El enlace de descarga se está verificando para ver si hay contenido malintencionado.
Podrás descargarlo en 5 segundos.
Podrás descargarlo en 5 segundos.
acerca de STP
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