Anuncio publicitario
Hol-testgen
HOL-TESTGEN es A es un generador de casos de prueba para las pruebas de la unidad basadas en especificaciones. ...
prueba caso generador de prueba Generador de casos de prueba Hol-testgen
HOL
HOL es un entorno de programación en el que se pueden probar los teoremas y se implementaron herramientas de prueba. ...
entorno de programación automatizado sistema de prueba resistencias de teoremas HOL
Hol-ocl
HOL-OCL es un entorno de prueba interactivo para el lenguaje de restricción de objetos (OCL). ...
incorporación incrustación superficial Lógica de orden superior ambiente de prueba Hol-ocl