案外人提出执行异议，执行程序可能会中止，但并非必然停止。具体分析如下：

1. 执行异议的审查：

   • 根据《民事诉讼法》的相关规定，案外人在执行过程中，对执行标的提出书面异议的，人民法院应当自收到书面异议之日起十五日内进行审查。
   • 如果异议确有理由，符合条件，人民法院会裁定中止对该标的的执行；如果异议理由不充分，则会被裁定驳回。

2. 执行程序的中止与恢复：

   • 当案外人的执行异议被裁定中止执行时，仅针对提出异议部分的财产范围，对被申请执行人的其他财产则不应中止执行。
   • 中止执行的情形消失后，如经审查异议不成立或案外人未能在规定时间内提起诉讼等，执行程序将恢复进行。

3. 执行异议的时效性：

   • 执行异议的提出存在时效限制，对于执行标的的异议，应当在该执行标的执行完毕前提出。
   • 如果执行程序已经结束，再对执行行为提出异议将不再被受理。

4. 后续法律途径：

   • 如果案外人对裁定不服，认为原判决、裁定错误的，可以依照审判监督程序办理，申请再审。
   • 如果与原判决、裁定无关，案外人可以自裁定送达之日起十五日内向人民法院提起执行异议之诉。

综上所述，案外人提出执行异议后，执行程序是否中止取决于人民法院的审查和裁定结果。因此，在执行异议提出后，需要等待人民法院的进一步审查和处理。如果你有相关法律问题或需要进一步的法律帮助，请直接向我咨询。