Profile Details
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. We provided security audits to companies across a variety of blockchain ecosystems including Ethereum and its derivatives, Algorand, Cardano, Cosmos, MultiversX, Polkadot, Stellar, and Tezos.
-
Current Size
21-100 -
Expected Growth
1-5 -
Payment in Crypto
Yes -
Remote Working
Yes -
Social Media
Runtime Verification Latest Jobs
There are currently no active jobs.