执行异议之诉是否属于执行程序？

执行异议之诉并不属于执行程序。下面为你详细解释二者的区别。 首先，我们来了解一下执行异议之诉。它是一种诉讼程序，是在执行过程中，当事人或者案外人对执行标的的所有权、使用权等实体权利存在争议，而向法院提起的诉讼，目的是通过法院的审判来解决这些实体权利的纠纷。比如，案外人认为执行标的是自己的财产，而不是被执行人的，就可以提起执行异议之诉来维护自己的权益。 而执行程序是指人民法院根据已经发生法律效力的裁判和其他法律文书的规定，采取法定措施将法律文书的内容付诸实现的程序。简单来说，就是法院按照生效法律文书的要求，强制被执行人履行义务的过程。 法律依据方面，根据《中华人民共和国民事诉讼法》规定，执行过程中，案外人对执行标的提出书面异议的，人民法院应当自收到书面异议之日起十五日内审查，理由成立的，裁定中止对该标的的执行；理由不成立的，裁定驳回。案外人、当事人对裁定不服，认为原判决、裁定错误的，依照审判监督程序办理；与原判决、裁定无关的，可以自裁定送达之日起十五日内向人民法院提起诉讼。这表明执行异议之诉有着独立的启动条件和审理程序，与执行程序是相互区别的。 所以，执行异议之诉和执行程序是两个不同的概念和程序，执行异议之诉是为了解决执行过程中的实体权利争议，而执行程序主要是实现生效法律文书确定的权利义务。