法律分析:
人民法院执行空壳公司的程序为:向被执行人发出执行通知书,同时可以对其名下的存款、车辆、房产等进行查询;发现财产可以进行冻结、查封,若没有发现财产,可以依法将被执行公司的法定代表人传唤到庭;如仍拒不履行,可以对其法定代表人拘留15日,同时把被执行人列入失信被执行人名单,若是构成犯罪的,公安机关可以立案。《中华人民共和国民事诉讼法》第二百四十三条
发生法律效力的民事判决、裁定,当事人必须履行。一方拒绝履行的,对方当事人可以向人民法院申请执行,也可以由审判员移送执行员执行。
调解书和其他应当由人民法院执行的法律文书,当事人必须履行。一方拒绝履行的,对方当事人可以向人民法院申请执行。