Espacio de la Prueba

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
La cantidad máxima de recurso tipo memoria requerida durante una prueba o refutación, a menudo formalizada como el número máximo de fórmulas, cláusulas o líneas de prueba que deben mantenerse simultáneamente en memoria según un modelo de prueba especificado.