XRP Lending Protocol Passes Formal Verification, Uncovers Edge Cases

RippleX developers are applying formal verification to the XRP Ledger's upcoming lending protocol, a shift from testing ...