检查有形资产是指注册会计师对资产实物进行审查。检查有形资产程序主要适用于存货和现金，也适用于有价证券、应收票据和固定资产等。检查有形资产可为其存在性提供可靠的审计证据，但不一定能够为权利和义务或计价认定提供可靠的审计证据。