Testing found something conventional methods missed. Ripple software engineer Vito Tumas disclosed that the formal verification process being applied to the XRP Ledger’s upcoming lending protocol has already uncovered complex edge cases that standard testing procedures failed to detect. Related Reading: A 400 Billion Shiba Inu Surprise: Whale Wallet Springs Back To Life Ripple is working alongside blockchain security firm Common Prefix on the effort. Together, the teams construct an abstract mod