在执行程序中，当公司无法清偿债务时，在符合法定情形下，确实可以追加股东为被执行人。这一过程需要遵循严格的法定程序，并确保所有步骤都公正、合法且高效。以下是对如何追加股东为被执行人以及法院是否会受理此类案件的详细解答：

一、追加股东为被执行人的法定情形

1. 公司财产不足以清偿债务：这是追加股东为被执行人的基本前提。若公司有足够财产清偿债务，则应先执行公司财产。

2. 股东未足额缴纳出资：

   • 出资期限届满未缴足：股东未按公司章程规定的期限足额缴纳出资的，债权人可申请追加该股东为被执行人。
   • 出资期限加速到期：虽出资期限未届满，但公司已具备破产原因且不申请破产，或债务产生后延长股东出资期限的，债权人可主张出资期限加速到期。
   • 未履行出资义务即转让股权：股东在未完全履行出资义务的情况下转让股权，且导致公司无法清偿债务的，同样可被追加为被执行人。

3. 股东抽逃出资：股东通过虚构债权债务、制作虚假财务报表、利用关联交易等方式抽逃出资的，债权人可申请追加该股东为被执行人。

4. 股东滥用公司法人独立地位和股东有限责任：

   • 人格混同：公司与股东在人员、财务、业务等方面难以区分，导致公司失去独立法人资格的。
   • 过度支配与控制：股东对公司进行过度支配与控制，使公司沦为股东工具以逃避债务的。

5. 一人有限责任公司的特殊规定：对于一人有限责任公司，股东需证明公司财产独立于自己的财产。若不能证明，则股东应对公司债务承担连带责任。

6. 公司未经清算即注销：公司未经清算即办理注销登记，导致债权人无法追偿债务的，法院可追加公司的股东为被执行人。

二、法院受理追加股东为被执行人的程序

1. 提交申请：执行申请人需向负责执行的法院提交书面申请，明确要求追加特定股东为被执行人。申请书应详细阐述追加的具体理由，并提供充分的证据线索支持其主张。

2. 法院受理与审查：

   • 形式审查：法院首先会对申请材料进行形式审查，确认申请材料是否齐全、申请书格式是否符合要求。
   • 实质审查：通过形式审查后，法院会对申请人提出的追加理由及证据进行实质审查，包括对公司章程、股东出资记录、验资报告等相关文件的审查。

3. 听证程序：除非案件事实清楚、权利义务关系明确且争议不大，否则执行法院应当组成合议庭进行公开听证。听证程序旨在保障各方当事人的程序性权利，允许他们充分陈述意见、进行举证质证和辩论。

4. 作出裁定：经过审查和听证，法院会根据查明的事实和法律规定，作出是否追加股东为被执行人的裁定。裁定书应写明追加的理由和法律依据，确保裁定的合法性和正当性。

5. 送达裁定：裁定作出后，法院会及时将裁定书送达给申请人、被申请人及原被执行人。

三、对裁定的救济途径

若被追加股东对追加裁定不服，可以在规定的期限内向上一级人民法院申请复议，或者通过提起执行异议之诉来维护自己的权益。

四、结论

在符合法定情形的情况下，债权人可以依法向执行法院申请追加股东为被执行人。法院在受理此类申请后，会严格按照法定程序进行审查，并作出是否追加的裁定。因此，只要符合法定情形且程序合法，法院是会受理追加股东为被执行人的案件的。同时，股东也应严格遵守相关法律法规，避免滥用公司法人独立地位和股东有限责任以逃避债务。