Artículo.
formulan en la correspondiente declaración de afirmación. Las declaraciones testigo de registro sirven como información adicional en contraejemplos generados. La figura 15-derecha presenta un testigo devuelto por Spin y levantado en mbeddr. Debido al formato especial de la construcción de registro,