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
  • Expected Growth
  • Payment in Crypto
  • Remote Working
  • Social Media

Runtime Verification Latest Jobs

© 2024 All right reserved.