XRP Ledger verificado pelo framework de modelagem baseado em blockchain Kestrel para segurança e justiça. Isto demonstra uma forte confiança na governança do XRP e na sua resistência a ataques comuns. A verificação formal pode impulsionar a adoção institucional e dApps inovadoras no XRPL.