Runtime Verification
We love formal methods
Links
1 more
Other Links
Social Profiles
Categories
Description
Runtime Verification Inc. is a startup company aimed at using runtime verification-based techniques to perform security audits on virtual machines and smart contracts on public blockchains. It is dedicated to using its dynamic software analysis approach to improve the safety, reliability, and correctness of software systems in the blockchain field.
Related Articles
No items found.
Join a growing ecosystem
If you build on MultiversX and don't see your project listed, let us know.
Submit Project
Discover the Ecosystem
Explore projects, tokens, and integrations built on MultiversX
