在执行终本后发现有股东未实缴出资的情况下，既可以选择恢复执行，也可以考虑提出执行异议，具体取决于案件的具体情况和你的法律诉求。以下是对这两种途径的详细分析：
恢复执行
法律依据：
- 根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第十七条，作为被执行人的营利法人，财产不足以清偿生效法律文书确定的债务，申请执行人申请变更、追加未缴纳或未足额缴纳出资的股东、出资人或依公司法规定对该出资承担连带责任的发起人为被执行人，在尚未缴纳出资的范围内依法承担责任的，人民法院应予支持。
适用情形：
- 如果执行案件已经终本，但发现股东存在未实缴出资的情况，且该未实缴出资与案件执行标的有关联，即股东的未实缴出资影响了被执行公司的偿债能力，那么你可以向法院申请恢复执行，并追加未实缴出资的股东为被执行人。
操作流程：
- 提交书面申请：向执行法院提交恢复执行的申请书，并附上相关证据材料，如股东未实缴出资的证据、公司章程、股东名册等。
- 法院审查：法院会对你的申请进行审查，如果认为符合恢复执行的条件，会裁定恢复执行，并追加未实缴出资的股东为被执行人。
- 执行程序：恢复执行后，法院会依法对追加的被执行人（即未实缴出资的股东）的财产进行查封、扣押、冻结等执行措施。
执行异议
法律依据：
- 执行异议主要依据的是《中华人民共和国民事诉讼法》及相关司法解释中关于执行程序的规定，特别是关于执行异议和复议的部分。虽然直接的法律条文可能并未明确提及股东未实缴出资的情况，但执行异议作为一种程序性救济手段，可以在执行过程中对执行行为或执行标的提出异议。
适用情形：
- 如果你认为执行法院在执行过程中存在违法行为或错误，比如错误地认定了股东的出资情况，或者执行措施不当等，你可以提出执行异议。但需要注意的是，执行异议通常不是直接针对股东未实缴出资这一事实本身，而是针对执行过程中的具体行为或决定。
- 另一种情况是，如果其他股东或利害关系人对追加未实缴出资的股东为被执行人有异议，他们也可以提出执行异议。
操作流程：
- 提交异议申请：向执行法院提交书面异议申请，明确异议的理由和依据。
- 法院审查：法院会对异议申请进行审查，并组织听证会（如果必要）来听取各方当事人的意见。
- 裁定处理：法院会根据审查结果作出裁定，如果认为异议成立，会撤销或变更原来的执行行为或决定；如果认为异议不成立，会驳回异议申请。
综合建议
- 如果主要诉求是追加未实缴出资的股东为被执行人以恢复执行：那么应该选择恢复执行的途径，并按照相关法律规定和程序向法院提交申请。
- 如果认为执行过程中存在违法行为或错误：或者对追加被执行人有异议，那么可以考虑提出执行异议。但需要注意的是，执行异议并不是直接解决股东未实缴出资问题的途径，而是针对执行过程中的具体行为或决定的救济手段。
在实际操作中，建议你根据案件的具体情况和法律诉求来选择合适的途径。如果有任何疑问或需要进一步的法律帮助，可以直接向我咨询。