Description: Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
about Company Mission and Vision News Team Careers Publications Presentations Videos FAQ products K Firefly ERCx Embdded Systems solutions Blockchain Advisory Services Smart Contract Verification Smart Contract Analysis NFT Checker Protocol Verification Formal Design and Modeling The IELE Virtual Machine Partnerships Algorand research events Formal Verification in the Ethereum Ecosystem Arepas, Cumbia and Security contact Contact Us Media Kit blog All Categories Audits K News Smart Contracts Software Develo
NFT Checker Mints can be gamed, tokens can be stolen, gas can be wasted, and bad code makes people wary of rug pulls.
Protocol verification Increase confidence in the correctness and security of the decentralized system powered by your protocol.
Home | Sundae Labs