| https://runtimeverification.com/ |
| https://kontrol.runtimeverification.com |
| https://www.simbolik.dev |
| https://kaas.runtimeverification.com |
| about | https://runtimeverification.com/about |
| Design Review | https://runtimeverification.com/design-review |
| Audits | https://runtimeverification.com/audits |
| Fuzzing | https://runtimeverification.com/fuzzing-campaigns |
| Formal Verification | https://runtimeverification.com/formal-verification |
| K Framework | http://kframework.org |
| KaaS | https://kaas.runtimeverification.com |
| Komet | https://komet.runtimeverification.com/ |
| Kontrol | https://kontrol.runtimeverification.com |
| Simbolik | https://www.simbolik.dev |
| research | https://research.runtimeverification.com |
| blog | https://runtimeverification.com/blog |
| Contact Us | https://amp.runtimeverification.com |
| https://runtimeverification.com#share |
| WORK WITH US | https://amp.runtimeverification.com/ |
| https://runtimeverification.com/blog/alchemix-v2-audit-and-reviewed-code-fixes |
| https://www.algorand.com/ |
| https://amp.runtimeverification.com/public-report/token-wrap-extension |
| https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Band_Protocol_Soroban-Band_Standard_Reference_Contract.pdf |
| https://github.com/ethereum/casper |
| https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/EigenLayer_Design_Review.pdf |
| https://amp.runtimeverification.com/public-report/espresso-systems |
| https://github.com/runtimeverification/publications/blob/main/reports/consensus-protocols/Ethereum-BeaconChain.pdf |
| https://runtimeverification.com/blog/runtime-verification-audits-folks-finance |
| https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Hatom-Liquid-Staking.pdf |
| https://lido.fi/ |
| https://makerdao.com/ |
| https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Euroe%20Stablecoin%20Audit.pdf |
| https://amp.runtimeverification.com/public-report/monad |
| https://morpho.org/ |
| https://multiversx.com/ |
| https://nasa.gov/ |
| https://www.olympusdao.finance/ |
| https://github.com/runtimeverification/polkadot-verification |
| https://amp.runtimeverification.com/public-report/kora |
| https://runtimeverification.com/blog/runtime-verification-audits-stakefish-ethereum-staking-2-0 |
| https://www.stakerdao.com/ |
| https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/SundaeSwap.pdf |
| https://swellnetwork.io/ |
| https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Tezos-Dexter-Liquidity-Baking.pdf |
| https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Ojo.pdf |
| Your all-in-one place for fuzzing. | https://kaas.runtimeverification.com |
| Easy formal verification for Foundry. | https://kontrol.runtimeverification.com |
| A full Solidity developer toolkit. | https://www.simbolik.dev |
| Formal verification for Soroban contracts. | https://komet.runtimeverification.com/ |
| 103 BuildBear LabsWeb3 devs are still fighting for the right tools—Buildbear Labs is trying to change that. In this episode, we sit down with the team behind Buildbear, creators of customized web3 sandboxes that let developers test locally with mainnet-level accuracy. | https://youtu.be/k4aRGctNP1U |
| 102 Cork ProtocolCork Protocol is pushing the boundaries of DeFi, and we put it to the test with formal verification. In this episode, we sit down with Robert Schmitt, founder of Cork, along with Lisandra and Palina, two of our formal verification engineers, to break down the security of the protocol. | https://youtu.be/VrIKMU_BJGw |
| 104 Stellar Development FundStellar isn’t just another blockchain—it’s solving real-world problems right now. In this episode, we sit down with the Stellar Development Foundation (SDF) to talk about how Stellar is tackling cross-border payments and financial access, and why their smart contract platform, Soroban, is one of the most developer-friendly in web3. | https://youtu.be/ya2I1HW374g |
| YouTube | https://www.youtube.com/@runtime_verification |
| The Engineered Chaos Bugs Fear | https://runtimeverification.com/blog/the-engineered-chaos-bugs-fear |
| Read More | https://runtimeverification.com/blog/the-engineered-chaos-bugs-fear |
| The Future of Safety for Software as a Medical Device (SaMD) | https://runtimeverification.com/blog/the-future-of-safety-for-software-as-a-medical-device |
| Read More | https://runtimeverification.com/blog/the-future-of-safety-for-software-as-a-medical-device |
| When the Software Holds but the Money Leaves Anyway | https://runtimeverification.com/blog/when-the-software-holds-but-the-money-leaves-anyway |
| Read More | https://runtimeverification.com/blog/when-the-software-holds-but-the-money-leaves-anyway |
| All Posts | https://runtimeverification.com/blog |
| Mission and Vision | https://runtimeverification.com/mission-and-vision |
| Presentations | https://runtimeverification.com/presentations |
| Careers | https://runtimeverification.com/careers |
| News | https://runtimeverification.com/news |
| Publications | https://runtimeverification.com/publications |
| Partnerships | https://runtimeverification.com/partnerships |
| Media Kit | https://runtimeverification.com/media-kit |
| Events | https://runtimeverification.com/events/arepascumbiasecurity |
| Security Consulting | https://runtimeverification.com/blockchain-consulting |
| Ecosystem Security | https://runtimeverification.com/ecosystem-security |
| ERCx | https://ercx.runtimeverification.com |
| FAQ | https://runtimeverification.com/faq |
| https://www.runtimeverification.com |
| 2770 Spanish Trail Rd, Moab, UT 84532 | https://maps.app.goo.gl/vnk3uujHVAaHVtA68 |
| privacy policy | https://www.runtimeverification.com/privacy-policy |
| terms of use | https://www.runtimeverification.com/terms-of-use |
| https://github.com/runtimeverification |
| https://discord.gg/CurfmXNtbN |
| https://twitter.com/rv_inc |
| https://www.youtube.com/channel/UCZeDdn8F5ARtK5LmRngiLnA |
| https://www.linkedin.com/company/3142238/ |