Website URL : https://runtimeverification.com/

Website Title : Runtime Verification Inc

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

Keywords Used : runtime verification, formal verification, formal methods, formal modeling, smart contracts, protocols, virtual machines, tokens, blockchain, smart contract analysis, smart contract audit, smart contract verification, test coverage, symbolic bytecode analysis, security audit, Ethereum, Ethereum Virtual Machine, EVM, KEVM, ERC20, ETH, Algorand, Cardano, IOHK, Elrond, Polkadot, Panvala, PlatON, Maker, Gnosis, Uniswap, Tezos, Firefly, NASA, Toyota, embedded systems, undefined behaviors, data races

Viewport : Mobile Optimized