(2017)在下列審計程序中，()是註冊會計師在實施控制測試和實質性程序時可以采用的。

控制測試中使用的審計程序包括詢問、觀察、檢查和重新執行。實質性程序中使用的審計程序包括詢問、觀察、檢查、確認、重新計算和分析。因此，檢驗程序可用於控制測試和實質性程序。