司法拆迁程序是指在城市房屋拆迁过程中，当拆迁人与被拆迁人之间因补偿安置等问题无法达成协议，且被拆迁人未在法定期限内申请行政复议或提起行政诉讼，也未履行补偿决定时，由市、县级人民政府依法向人民法院申请强制执行的程序。具体步骤如下：
拆迁管理部门申请：
拆迁管理部门依据《城市房屋拆迁管理条例》第十七条的规定，向法院提出书面的执行申请，并提供行政裁决书及有关材料。
法院审查：
法院收到强制执行申请后，将对申请程序、事实和法律等方面进行审查。如果申请合法且材料齐备，法院将立案并及时执行。
通知被拆迁人：
法院将向被拆迁人或被拆迁房屋承租人发出通知书，指定履行期限。如果被拆迁人仍未履行，法院将实施强制拆迁。
执行结果告知：
法院应将执行结果以书面形式通知申请执行的拆迁管理部门。
法律依据：
司法强制拆迁的法律依据主要是《城市房屋拆迁管理条例》第十七条，该条规定了强制拆迁的条件和程序。
其他相关程序：
在申请司法强拆前，拆迁管理部门需要组织听证，充分听取当事人的意见，并在调解无效后作出书面裁决。
总结：
司法拆迁程序是一个严格的法律程序，涉及多个步骤和法律规定，旨在确保拆迁过程的合法性、公正性和透明度。通过这一程序，可以有效地解决拆迁过程中的纠纷，保护被拆迁人的合法权益。