婚姻无效属于 诉讼程序。具体程序如下：
申请宣告：
由当事人或利害关系人向法院申请宣告婚姻无效。
法院受理：
法院受理申请后，对案件进行审理。
审理过程：
法院进行调解并调查，符合条件的，由法院宣告婚姻无效。
判决：
法院确认属于婚姻无效情形的，下达宣告婚姻无效的判决。
需要注意的是，无效婚姻的处理程序中，法院对婚姻效力的审理不适用调解，应当依法作出判决。此外，无效婚姻案件适用特别诉讼程序的规定予以裁决，但需注意与财产问题、子女抚养问题分开处理。
建议：在申请宣告婚姻无效时，建议咨询专业律师，以确保程序的合法性和有效性。