Total words: 1927 | 2-word phrases: 499 | 3-word phrases: 551 | 4-word phrases: 564
| Title | Try to keep the title under 60 characters (24 characters) Runtime Verification Inc |
| Description | Try to keep the meta description between 50 - 160 characters (167 characters) Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain. |
| Keywords | Meta keywords are not recommended anymore (167 characters) 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, MultiversX, Polkadot, Panvala, PlatON, Maker, Gnosis, Uniswap, Tezos, Firefly, NASA, Toyota, embedded systems, undefined behaviors, data races |
| H1 | H1 tag on the page (36 characters) Take Your Security to the Next Level |
| # | Keyword | H1 | Title | Des | Volume | Position | Suggest | Frequency | Density |
|---|---|---|---|---|---|---|---|---|---|
| 1 | verification | 25 | 7.99% | ||||||
| 2 | formal | 16 | 5.11% | ||||||
| 3 | of | 12 | 3.83% | ||||||
| 4 | your | 10 | 3.19% | ||||||
| 5 | security | 10 | 3.19% | ||||||
| 6 | code | 9 | 2.88% | ||||||
| 7 | to | 9 | 2.88% | ||||||
| 8 | the | 9 | 2.88% | ||||||
| 9 | for | 9 | 2.88% | ||||||
| 10 | runtime | 8 | 2.56% |
| # | URL | Whois | Check |
|---|---|---|---|
| 1 | http://kframework.org | Whois | kframework.org |
| 2 | https://kframework.org/ | Whois | kframework.org |
| 3 | https://github.com/runtimeverification/beacon-chain-verification/blob/master/weak-subjectivity/weak-subjectivity-analysis.pdf | Whois | github.com |
| 4 | https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/GnosisSafe.pdf | Whois | github.com |
| 5 | https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Uniswap-V1.pdf | Whois | github.com |
| 6 | https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Morpho-Audit-Report.pdf | Whois | github.com |
| 7 | https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Synonym-audit-report.pdf | Whois | github.com |
| 8 | https://www.algorand.com/ | Whois | algorand.com |
| 9 | https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Band_Protocol_Soroban-Band_Standard_Reference_Contract.pdf | Whois | github.com |
| 10 | https://github.com/ethereum/casper | Whois | github.com |
| 11 | https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/EigenLayer_Design_Review.pdf | Whois | github.com |
| 12 | https://github.com/runtimeverification/publications/blob/main/reports/consensus-protocols/Ethereum-BeaconChain.pdf | Whois | github.com |
| 13 | https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Hatom-Liquid-Staking.pdf | Whois | github.com |
| 14 | https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/HydraDX-Omnipool-Withdrawal-Fee.pdf | Whois | github.com |
| 15 | https://makerdao.com/ | Whois | makerdao.com |
| 16 | https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Euroe%20Stablecoin%20Audit.pdf | Whois | github.com |
| 17 | https://morpho.org/ | Whois | morpho.org |
| 18 | https://multiversx.com/ | Whois | multiversx.com |
| 19 | https://nasa.gov/ | Whois | nasa.gov |
| 20 | https://www.olympusdao.finance/ | Whois | olympusdao.finance |
| 21 | https://github.com/runtimeverification/polkadot-verification | Whois | github.com |
| 22 | https://www.stakerdao.com/ | Whois | stakerdao.com |
| 23 | https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/StakeWise.pdf | Whois | github.com |
| 24 | https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/SundaeSwap.pdf | Whois | github.com |
| 25 | https://swellnetwork.io/ | Whois | swellnetwork.io |
| 26 | https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Tezos-Dexter-Liquidity-Baking.pdf | Whois | github.com |
| 27 | https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Ojo.pdf | Whois | github.com |
| 28 | https://github.com/runtimeverification/publications | Whois | github.com |
| 29 | https://www.borderlesscapital.io/ | Whois | borderlesscapital.io |
| 30 | https://www.fenbushicapital.vc/ | Whois | fenbushicapital.vc |
| 31 | https://www.hypersphere.ventures/ | Whois | hypersphere.ventures |
| 32 | https://iosg.vc/ | Whois | iosg.vc |
| 33 | https://www.maven11.com/ | Whois | maven11.com |
| 34 | https://multiversx.com/ | Whois | multiversx.com |
| 35 | https://tezos.foundation/ | Whois | tezos.foundation |
| 36 | https://wavegp.com/ | Whois | wavegp.com |
| 37 | https://goo.gl/maps/5iu2nhbUA48fs7fP6 | Whois | goo.gl |
| 38 | https://github.com/runtimeverification | Whois | github.com |
| 39 | https://discord.gg/CurfmXNtbN | Whois | discord.gg |
| 40 | https://t.me/rv_inc | Whois | t.me |
| 41 | https://twitter.com/rv_inc | Whois | twitter.com |
| 42 | https://runtimeverification.medium.com/ | Whois | medium.com |
| 43 | https://www.youtube.com/channel/UCZeDdn8F5ARtK5LmRngiLnA | Whois | youtube.com |
| 44 | https://www.facebook.com/RuntimeVerificationInc | Whois | facebook.com |
| 45 | https://www.linkedin.com/company/3142238/ | Whois | linkedin.com |
| 46 | https://cryptojobslist.com/companies/runtime-verification | Whois | cryptojobslist.com |