Sil.

Marketing at @rv_inc

[Runtime Vеrification @rv_inc]

https://t.co/clduhZiPvi

[Runtime Vеrification @rv_inc]

There's a handful of people in Solana working directly on Pinocchio's security.

One of them just sat down with @marko_pohlo for a 2h candid session on all things P-Token, Rust, K-MIR, formal verification & more.

RV's own @danielkcumming spilled all the beans today.

Soon 👀

[Runtime Vеrification @rv_inc]

🇧🇷Meet us at Rio for Meridian @StellarOrg and join our first side event in a really long time next Sept. 16th

Praia Volleyball and Caipirinhas

Show off your volleyball skills, or chill under the sun with a Caipirinha, the choice is yours🏐🍹

Sign up at https://t.co/sq9NauerfZ

[Palina @palinatolmach]

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 did many times!—this (https://t.co/iHBwlAA5id) being just one public example. We worked with Foundry devs to integrate our cheatcodes into stdlib and improve experience for everyone by making FV as simple as testing.

And we have CI integration through KaaS! https://t.co/L8eTwxXGQC

[Immunefi @immunefi]

Sharing Magnus’ first partner, @rv_inc — 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 approach to security that Magnus puts forward, the wealth of data that Codexa provides, and the power of combining AI and formal reasoning tools, I'm sure that we will make web3 security a breeze, even for newcomers.”

— Everett Hildenbrandt, CEO at Runtime Verification

Learn more👇

[Runtime Vеrification @rv_inc]

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 👉 https://t.co/sFAyrSzw1c

or check the following thread 👇

[Runtime Vеrification @rv_inc]

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!

https://t.co/MelfddCy45

[Raoul @RaoulSaffron]

https://t.co/1pkLKMufs0

[Runtime Vеrification @rv_inc]

Today we are soft launching ERC X https://t.co/GAKb0qnpW8, 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

[Runtime Vеrification @rv_inc]

Last week, our team traveled to Bogota to attend and speak at DevCon - @EFDevcon and to host our first in-person event: Arepas, Cumbia & Security🔎⚒️🫓🍹💃

Here's a recap of what went down🧵

[Runtime Vеrification @rv_inc]

RV team at Guatavita - Colombia 🇨🇴

[Sil. @L__Sil]

@lucasmanuel_eth @rv_inc We have one in the KEVM repo https://t.co/fttnLdSH29

[Runtime Vеrification @rv_inc]

🇨🇴 2nd batch of tickets for Arepas, Cumbia & Security is live🫓🥤💃

Register for free at https://t.co/ZqpGYaYkzL

[Sil. @L__Sil]

@trent_vanepps @EFDevcon We are going to celebrate Colombian culture with local food, cumbia live music and a dance show (and security talks too) 🫓💃 https://t.co/9Ya7a1zh7S

[Runtime Vеrification @rv_inc]

🇨🇴 AREPAS, CUMBIA & SECURITY 🫓🥤💃🕺🎶

🎟️1st batch is out (free) https://t.co/ZqpGYaYSpj
📅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

[Sil. @L__Sil]

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?

[Runtime Vеrification @rv_inc]

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

[RajΞΞv @0xRajeev]

Excited to announce that Everett Hildenbrandt from @rv_inc will be a speaker at @TheSecureum TrustX, a first-of-its-kind #Ethereum security event in collaboration with @EFDevconnect, on 21-22 April in Amsterdam🙏

To join in-person, apply: https://t.co/pLwEsqQjj2

[Sil. @L__Sil]

@rikardhjort @leonardoalt @EFDevconnect @MartinLundfall @joranhonig @Montyly @GNSPS @vwuestholz @SagivMooly Count us in!!!

[Runtime Vеrification @rv_inc]

We are looking for a Sr. Technical Product Manager to join @rv_inc

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! https://t.co/De07EwbrHB