执行异议之诉确实属于诉讼程序。以下是对这一问题的详细解释：

1. 执行异议之诉的定义与性质：

   • 执行异议之诉是民事诉讼法中的一种特殊诉讼程序，它旨在解决在执行过程中，案外人对执行标的提出异议，并请求法院排除对特定标的的执行行为。这种诉讼程序具有独立的诉讼地位，与普通的民事诉讼程序在目的、程序规则等方面存在相似之处，但也有其特殊性。

2. 执行异议之诉的诉讼程序特点：

   • 独立性：执行异议之诉是一个独立的诉讼程序，它并不依附于原执行程序。一旦案外人提起执行异议之诉，法院将对该诉讼进行独立审理，并作出判决。
   • 对抗性：在执行异议之诉中，案外人与申请执行人之间形成对抗关系。案外人需要证明其对执行标的享有足以排除强制执行的民事权益，而申请执行人则需要反驳案外人的主张。
   • 救济性：执行异议之诉为案外人提供了一种法律救济途径。当案外人对执行标的提出异议并得不到执行法院的支持时，他们可以通过提起执行异议之诉来维护自己的合法权益。

3. 执行异议之诉的适用情形：

   • 根据《中华人民共和国民事诉讼法》及相关司法解释的规定，执行异议之诉主要适用于以下情形：案外人对执行标的提出书面异议，法院经审查认为异议理由不成立的，裁定驳回；案外人对裁定不服，认为原判决、裁定错误的，依照审判监督程序处理；案外人与原判决、裁定无关，但认为执行行为侵害其合法权益的，可以自裁定送达之日起十五日内向人民法院提起诉讼。

4. 执行异议之诉的审理与判决：

   • 法院在受理执行异议之诉后，将依法组成合议庭进行审理。审理过程中，双方当事人有权进行辩论、提供证据等。法院将根据审理情况作出判决，判决结果可能包括支持案外人的异议请求、驳回案外人的异议请求等。

法律建议：

• 如果您作为案外人对执行标的提出异议并遭到驳回，且您认为该执行行为侵害了您的合法权益，那么您可以考虑提起执行异议之诉来维护自己的权益。
• 在提起执行异议之诉前，建议您充分收集证据，证明自己对执行标的享有足以排除强制执行的民事权益。
• 如果您对执行异议之诉的程序或法律适用存在疑问，可以直接向我咨询，我将根据您的具体情况提供专业的法律意见。