From Rockets To Blockchains: Formal Verification Pioneered At NASA Applied At Elrond Via Runtime Verification
By elrond.com on January 6, 2021
With otherwise expensive & complex testing tools available at no cost in the Elrond devkit, the overall security of our DeFi ecosystem raises to meet institutional-grade requirements.