Minería de Pruebas
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
El análisis sistemático de pruebas formales para descubrir cotas cuantitativas ocultas, algoritmos constructivos, contenido computacional o datos efectivos implícitos en derivaciones no constructivas o de alto nivel.