El presente trabajo, basado en la tesis de grado de los autores, provee la implementación de un mecanismo de prueba de dispositivos financieros con una base de costos considerablemente inferior a la de los mecanismos actualmente disponibles de verificación, basado…