法律分析：银行贷款违约诉讼程序需要通过诉讼程序进行解决。首先，银行需要向贷款人发出催收通知，要求其履行还款义务。若贷款人未能履行还款义务，银行可以向提起诉讼，要求其返还贷款本金和利息，并赔偿逾期利息及其他违约金等费用。
法律依据：
1.《合同法》第一百九十三条：借款人不履行还款义务的，出借人有权要求其履行；借款人未履行还款义务的，出借人有权要求其支付违约金。
2.《中华人民共和国民事诉讼法》第一百零五条：申请人应当提交诉讼请求、事实、理由和证据，被申请人应当提交答辩意见、事实、理由和证据。
3.《中华人民共和国民事诉讼法》第一百二十一条：人民应当对诉讼请求、答辩意见、证据和相关法律适用进行审查，依法作出判决或者裁定。
以上依据表明，银行在贷款违约案件中可以向提起诉讼，通过法律程序解决争议。贷款人应当履行还款义务，如未能履行，需承担违约责任。