Método de validación mutua entre teoría abstracta e instancias específicas