
Kode pinjaman XRPL diuji verifikasi formal sebelum aktivasi Mainnet untuk jaminan keamanan dan akurasi.
Pengembang RippleX menerapkan verifikasi formal pada kode pinjaman XRP Ledger, khususnya Protokol Pinjaman XLS-66 dan Single Asset Vaults XLS-65, untuk mendeteksi kesalahan yang tidak terjangkau pengujian biasa sebelum fitur ini diaktifkan di Mainnet...


