在審計中核實銀行存款的流動性和可用性是非常重要的，以下是一些審計程序和方法：
1. 確認函：審計師可以向銀行發送確認函，要求銀行確認客戶的賬戶余額和賬戶狀態。這可以幫助審計師核實賬戶余額的準確性。
2. 銀行對賬單：審計師可以核對客戶提供的銀行對賬單與公司記錄的銀行交易記錄，以確保賬戶余額的準確性。
3. 現金流量分析：審計師可以分析公司的現金流量表，以確定公司是否有足夠的現金儲備來支持其日常經營活動。
4. 資金轉移確認：審計師可以確認公司是否有權利隨時提取銀行存款或進行資金轉移。這可以通過查看公司與銀行簽訂的協議或協議來實現。
5. 銀行保函：審計師可以核對公司是否持有銀行保函或其他銀行擔保，以確保公司有足夠的流動性支持。

通過以上審計程序，審計師可以核實銀行存款的流動性和可用性，確保公司的資金安全和可持續性。