Runtime Verification

Runtime Verification is pleased to announce MultiversX’s Multi Asynchronous Calls audit completion. MultiversX is a distributed transactional computation protocol that relies on a sharded state architecture and a secure Proof of Stake consensus mechanism.


multiversx (1).png

MultiversX

Runtime Verification audits MultiversX’s Multi Asynchronous Calls

Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.

ashswap.png

AshSwap

Runtime Verification Audits AshSwap Protocol

hatom-banner.png

Hatom

Runtime Verification Audits Hatom Lending Protocol

Rikard Hjort

rv-and-elrond.png

MultiversX (formerly Elrond) gets new secure dev tooling and a formal semantics

Partner: MultiversX

Categories