结论前置：案外人执行异议之诉是案外人为保护其对执行标的的合法权益，在执行程序终结前，向执行法院提起的旨在阻止对特定执行标的物强制执行的诉讼。其程序包括起诉、法院审查、审理与判决、以及后续的执行与上诉等环节。以下是对该程序的详细解析：
一、起诉条件与材料
起诉条件：
- 执行异议申请被驳回：案外人需先向执行法院提出执行异议，且该异议已被法院裁定驳回。
- 明确的诉讼请求：案外人必须有明确的排除执行请求，且该请求与原判决、裁定无关。
- 起诉期限：自执行异议裁定送达之日起十五日内提起诉讼。
起诉材料：
- 起诉状：详细说明诉讼请求（如请求停止执行），并陈述事实与理由。
- 证据材料：提供相关证据证明自己主张的实体权利客观存在且合法有效，如合同、付款凭证、产权证明等。
二、法院审查与准备
审查：
- 法院在受理申请后，会进行审查，确认是否符合法律规定的起诉条件。如果符合，将继续审理；如果不符合，将裁定驳回申请。
审理前准备：
- 送达诉讼文书：法院会向被告送达起诉状副本、应诉通知书等，告知被告诉讼情况。
- 证据交换与庭前会议：根据案件情况，法院可能组织证据交换和庭前会议，以梳理争议焦点，提高庭审效率。
三、开庭审理
法庭调查：
- 案外人陈述主张和理由，出示证据。
- 申请执行人质证并发表意见。
- 必要时被执行人参与，法院重点调查案外人是否享有足以排除强制执行的权益。
法庭辩论：
- 双方就事实认定、法律适用等问题展开辩论，充分阐述观点，反驳对方主张。
最后陈述：
四、判决与执行
判决结果：
- 如果案外人对执行标的享有足以排除强制执行的民事权益，法院判决不得执行该标的。
- 如果案外人主张不成立，法院判决驳回诉讼请求，允许继续执行。
判决书送达与上诉：
- 送达：法院在法定时间内将判决书送达双方当事人，告知上诉权利、期限和法院。
- 上诉：不服一审判决的当事人可在判决书送达之日起十五日内向上一级法院提起上诉。上诉法院将按照二审程序审理，并作出相应处理结果。
执行：
- 若判决生效且未上诉，执行法院根据判决结果决定是否停止或继续执行。
- 若执行标的已执行完毕，正在审理的案外人执行异议之诉可能面临继续审理或转案审理的情况。
五、特殊注意事项
- 诉讼请求明确性：案外人提起执行异议之诉时，诉讼请求必须明确，即要求停止执行或继续执行，并可同时提出确权的诉讼请求（但申请执行人不能同时提出确权诉讼）。
- 理由针对性：提起执行异议之诉的理由必须是针对执行标的的实体权利提出异议，而非执行行为，且与作为执行依据的生效裁判无关。
六、法律依据
- 《中华人民共和国民事诉讼法》第二百三十四条：规定了案外人在执行过程中对执行标的提出书面异议的程序，以及异议被裁定后的后续救济途径，包括提起案外人执行异议之诉的权利。
- 《最高人民法院关于适用〈中华人民共和国民事诉讼法〉的解释》第三百零三条：详细规定了案外人提起执行异议之诉的受理条件，包括执行异议申请被驳回、有明确的排除对执行标的执行的诉讼请求、且诉讼请求与原判决裁定无关，以及自执行异议裁定送达之日起十五日内提起等。
案外人执行异议之诉是一个复杂而严谨的法律程序，需要案外人严格按照法律规定的步骤和要求进行操作。如果你在此过程中遇到任何问题或需要进一步的法律帮助，请直接向我咨询，我会根据你的具体情况提供详细的法律建议。