Generación de Certificados

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
El mecanismo de producir un artefacto verificable (certificado) —como un objeto de prueba, un rastro de prueba, un testigo, un interpolante o una traza reproducible— que atestigua la corrección de la afirmación de un solver y puede ser comprobado de forma independiente por un verificador.