以下哪项审计程序通常用于验证被审计单位期末存货的数量？

观察程序可直接检查实物资产的存在性，例如实地观察存货的盘点过程，因此正确答案为B。