Comprobación aproximada del modelo LTL