可用于治疗深静脉血栓形成的药物有

深静脉血栓的治疗包括抗凝治疗和溶栓治疗。抗凝药物可用于防止血栓进一步形成，并促进已形成的血栓自行消融。选项中提到的华法林是一种维生素K拮抗剂，肝素是常用的抗凝药物，它们都属于抗凝药物范畴。达比加群酯和利伐沙班则属于直接抑制凝血酶的药物，也是常用的抗凝药物。此外，溶栓药物如尿激酶可用于急性期的治疗。因此，这些选项都是可用于治疗深静脉血栓形成的药物。