在审计中核实银行存款的流动性和可用性是非常重要的，以下是一些审计程序和方法：
1. 确认函：审计师可以向银行发送确认函，要求银行确认客户的账户余额和账户状态。这可以帮助审计师核实账户余额的准确性。
2. 银行对账单：审计师可以核对客户提供的银行对账单与公司记录的银行交易记录，以确保账户余额的准确性。
3. 现金流量分析：审计师可以分析公司的现金流量表，以确定公司是否有足够的现金储备来支持其日常经营活动。
4. 资金转移确认：审计师可以确认公司是否有权利随时提取银行存款或进行资金转移。这可以通过查看公司与银行签订的协议或协议来实现。
5. 银行保函：审计师可以核对公司是否持有银行保函或其他银行担保，以确保公司有足够的流动性支持。

通过以上审计程序，审计师可以核实银行存款的流动性和可用性，确保公司的资金安全和可持续性。