A注册会计师对甲公司存货实施监盘程序，下列检查程序正确的有（）。

A、A注册会计师应当对已盘点的存货进行适当检查，将检查结果与甲公司盘点记录相核对，并形成相应记录

B、在检查已盘点的存货时，A注册会计师应当从存货盘点记录中选取项目追查至存货实物，以测试盘点记录的准确性

C、A注册会计师还应当从存货实物中选取项目追查至存货盘点记录，以测试存货的存在性

D、如果检查时发现差异，A注册会计师应及时提请甲公司更正

正确答案：AB

答案解析：注册会计师从存货实物中选取项目追查至存货盘点记录，可以测试存货盘点记录的完整性，故选项C不正确；如果检查时发现差异，注册会计师应当查明原因，再提请被审计单位更正，而不是直接提请被审计单位更正，选项D不正确。