法院执行空壳公司的程序为：
1、向被执行公司出执行通知书，同时可以对其名下的存款、车辆、房产等等进行查询；
2、发现财产可以进行冻结、划拨、查封，若没有发现财产，可以依法将被执行公司的法定代表人传唤到庭；
3、如仍拒不履行，可以对其法定代表人拘留15日，同时把被执行人列入失信被执行人名单。

《中华人民共和国民事诉讼法》第二百四十三条
发生法律效力的民事判决、裁定，当事人必须履行。一方拒绝履行的，对方当事人可以向人民法院申请执行，也可以由审判员移送执行员执行。
调解书和其他应当由人民法院执行的法律文书，当事人必须履行。一方拒绝履行的，对方当事人可以向人民法院申请执行。