#síntesis verificable