AAG DOT #129 Spotlight:

Runtime Verification: Advanced Rust Property Test Verification for Polkadot Ecosystem
→ polkadot.subsquare.io/referenda/749

Runtime Vеrification ↯

👏 Congratulations to all participants of Runtime Vеrification Workshop — amazing work!

🙏 Huge thanks to RV team, led by Palina Tolmach Raoul Yliès Falcone Yale Vinson Bogdan Stanciu @rv_inc @ERCxRV & Grigore Rosu, for hosting an extensive workshop & providing this opportunity to SΞCURΞUM community.

🔍 Last month, we announced the release of version 7.0 of the K Framework, and today, we are back with the full announcement.

Read all about K 7, what's new, and how it's helping to build formal methods tooling on top of it👇

runtimeverification.com/blog/k-7-0-imp…

🎙️ Last week, Raoul and Andrei Văcaru joined ETHCluj to share about software verification tools, including Simbolik and Kontrol.

We wrote a quick recap blog with a link to the full recording of the blog👇

Thanks for having us ETHCluj team!

runtimeverification.com/blog/runtime-v…

Few days ago we hosted an online meetup where Raoul & Andrei Văcaru from Runtime Vеrification ran us through some very interesting touchpoints on

💡Increasing the odds of discovering security risks
💡Tools for smart contract auditors & devs

Recording available👇
youtu.be/PL_XqX3Qx6A

AAG DOT #127 Spotlight:

Runtime Verification: Advanced Rust Property Test Verification for Polkadot Ecosystem
→ polkadot.polkassembly.io/post/2281

Runtime Vеrification w/ hyperstructured.greg ↯

live on The Kusamarian today with Runtime Vеrification & Jay Chrawnna

Come and join local Web3 thought leaders in Bucharest for an all-day workshop on May 11th, organized by Pi Squared_Official and the Institute for Logic & Data Science.

Another one for the books 👀

math is actually fun when it helps you make sure there are no bugs in your systems design

Runtime Vеrification

🛠️🔍 Honored to announce that as the result of community voting, we’ve been chosen as the formal verification partner of Lido to support the smooth transition to Dual Governance mechanism by reviewing the specifications and implementation of the system