杀动物后的检疫程序主要包括以下几个步骤：
宰后检验流程
淋巴结检验：纵向切开淋巴结，检查有无肿大、出血、淤血、坏死等。
三腺检验：摘除动物的甲状腺、肾上腺和病变淋巴结。
囊虫检验：切开肌肉观察有无囊虫包囊。
头蹄、胴体检验：检查蹄部、头部和胴体，包括有无水泡、溃疡、出血、炎症等。
临床健康检查
群体和个体检疫：通过盐酸克伦特罗抽样，观察生猪的精神、活动等动态和静态表现。
皮肤检疫：观察皮肤色泽，有无出血斑、疹块、充血、荨麻疹等。
内脏检疫：检查胃肠浆膜、肠系膜淋巴结、心包及心外膜等。
寄生虫检疫：检查肌肉内是否有寄生虫。
肉尸检疫：检查放血程度、肌肉、脂肪、皮肤、皮下组织、胸腔、腹腔、关节等。
复检和签发检疫合格证明
复检：对检疫合格的动物进行复检，确保无遗漏。
签发检疫合格证明：对检疫合格的动物出具动物检疫证明。
应急处理
不合格处理：对检疫不合格的动物，根据相关规定进行急宰、缓宰或销毁处理。
这些程序旨在确保动物健康，防止疾病传播，保障人类食品安全。建议严格按照这些程序进行检疫，以确保动物源性食品的安全性。