DM's are open to anyone interested to present about #FormalVerification 🔥🎉

Lisbon here I come 🇵🇹

Had a blast in Lisbon!💛

21 days to go!!! Let us know who you want to see in the event talking about #formalverification at the "Formal Verification in the Ethereum Ecosystem" event 👇 Register for free at: runtimeverification.com/events/formalv… #formalverificationeth Devconnect ARG EF Ecosystem Support Program

Join mariano.eth Vlad Zamfir 🤖 Dan Guido (Trail of Bits) & Jan Gorzny (Quantstamp) and ask them all your questions in the panel discussion: The current state of Formal Verification 📅 Nov. 16th - 4:15pm EST 👉 crowdcast.io/e/formalverifi…

🎉 7 hours left for the "Formal Verification in the Ethereum Ecosystem" event Get ready for technical talks and panels about formal verification, formal methods, tools, and how to get started formally verifying your code Join us at crowdcast.io/e/formalverifi… Devconnect ARG EF Ecosystem Support Program

We are looking for a Sr. Technical Product Manager to join Runtime Vеrification Here is a not so formal test for our future PM: - Not afraid to turn ideas into real products - A healthy obsession with security - Ready to work with amazing devs 🛠️3/3? Hurry and apply! bit.ly/PMatRV

Excited to announce that Everett Hildenbrandt from Runtime Vеrification will be a speaker at SΞCURΞUM TrustX, a first-of-its-kind #Ethereum security event in collaboration with EF events, on 21-22 April in Amsterdam🙏 To join in-person, apply: forms.gle/7LUCk51peKZ3FQ…

1/3 🧵 Runtime Vеrification is going to Bogota this October!🇨🇴 We couldn’t be happier to have not one, but two of our formal verification engineers speaking at Devconnect ARG We are looking forward to sharing insights about blockchain security with all of you 💙💛

Thinking of organizing a side event for DevCon Week. Anyone organizing side events on "Zona T/ Usaquén"? Or just sticking to the Corferias area?

🇨🇴 AREPAS, CUMBIA & SECURITY 🫓🥤💃🕺🎶 🎟️1st batch is out (free) runtimeverification.com/events/arepasc… 📅10th Oct. | 1pm - 9pm 📍Cumbia House de Gaira Join us to re-think security through talks/panels while discovering Colombian culture with local food, live cumbia music & dance #DevCon

🇨🇴 2nd batch of tickets for Arepas, Cumbia & Security is live🫓🥤💃 Register for free at runtimeverification.com/events/arepasc…

RV team at Guatavita - Colombia 🇨🇴

Last week, our team traveled to Bogota to attend and speak at DevCon - Devconnect ARG and to host our first in-person event: Arepas, Cumbia & Security🔎⚒️🫓🍹💃 Here's a recap of what went down🧵

Today we are soft launching ERC X ercx.runtimeverification.com, a tool designed to help token investors identify and avoid scams. It also helps developers write contracts confidently by evaluating each token’s technical quality. 1/3

x.com/i/article/1831…

We are in Bangkok 🇹🇭🛺🧉 Check out our latest blog to learn what events our team will speak at, where to find us and an update on our tooling! runtimeverification.com/blog/meet-the-…

Sharing Magnus’ first partner, Runtime Vеrification — they’re bringing their world-class formal verification services to Magnus! “I'm excited to be working side-by-side with the team at Immunefi to bring the next generation of security to web3 developers! With the unified and integrated

1/ We're excited to announce that we're officially partnering with @Immunefi to build, and integrate our formal verification tooling and expertise into Magnus, the fully-integrated SecOps command center for on-chain security 🛠️ Read the blog for more details 👉

Totally agree! FV should be for everyone, not just PhDs. That's why we worked on dev-friendly web3 FV since 2018 with MakerDAO, eventually providing developers an interface to write Foundry specs without needing another rule language! Kontrol can find bugs before deployment—and