Runtime Vеrification @rv_inc profile

Runtime Vеrification

@rv_inc

Followers

8K

Following

1K

Media

370

Statuses

1K

We apply formal methods to improve the safety, reliability, and correctness of computing systems for auto, space, and blockchain. https://t.co/ElLuw8eT08

Urbana, IL

Joined October 2017

Don't wanna be here? Send us removal request.

Runtime Vеrification

@rv_inc

2 days

🚨WORKSHOP ALERT.We have teamed up with @cantinaxyz to bring you a Simbolik workshop to learn how to make the most of it during audits and contests 🐞🔨. 📅 Next Tuesday, Feb 4th.🕙 4pm CET//10am ET.📍Cantina's Discord -> Get ready to debug your code🫡

0

4

22

Runtime Vеrification

@rv_inc

5 days

RT @youfelll: massive for security industry. should we do Simbolik workshop over @eigenlayer <> @cantinaxyz targeted audit scope?.

0

2

0

Runtime Vеrification

@rv_inc

5 days

RT @youfelll: exactly why we need more initiatives like "Verified zkEVM" project by @ethereum . cryptographic security should never be take….

0

1

0

Runtime Vеrification

@rv_inc

8 days

If you love math, security and formal methods - please reach out. Sincerely,.Runtime Verification.💛💙

hyperstructured.greg

@youfelll

8 days

WE ARE HIRING @rv_inc . If you consider yourself an expert in:.- programming languages.- formal methods .- software security. and would like to use formal verification software commercially - dm me your CVs and let's talk🏁.

0

4

24

Runtime Vеrification

@rv_inc

15 days

1/🧵 Big news for security and formal verification community! . Our team has been awarded a grant for the @ethereum Foundation’s zkEVM Formal Verification competition!🎉 . We’re thrilled to contribute to the EVM track and advance the goal of bug-free zkEVMs.

6

12

80

Runtime Vеrification

@rv_inc

15 days

9/🧵 . A huge shoutout to @alexanderlhicks and the @ethereum Foundation for launching this incredible initiative! We’re proud to contribute alongside the talented zkEVM community. 🙌.

1

0

7

Runtime Vеrification

@rv_inc

15 days

10/🧵. Want to dive into the technical details or explore collaboration opportunities? Reach out to @youfelll, and let’s work together to make bug-free zkEVMs a reality!.

0

6

Runtime Vеrification

@rv_inc

18 days

RT @RaoulSaffron: The censorship-resistance mechanism of Optimism was formally verified by @rv_inc, and played a foundational role for our….

0

2

0

Runtime Vеrification

@rv_inc

22 days

RT @RosuGrigore: We are including Move in the first batch of ULM languages (besides Solidity, EVM, WASM, RiscV). Which means, we need to d….

0

13

0

Runtime Vеrification

@rv_inc

1 month

Help shape the future of Simbolik! Share your thoughts and vote here:.

Raoul

@RaoulSaffron

1 month

2024 was an incredible year for our Solidity debugger, and we’re gearing up for an even bigger 2025! We want your input on where to focus next. Vote in the poll and share more ideas in the comments!.

2

1

8

Runtime Vеrification

@rv_inc

1 month

RT @BatisteFormal: If you missed the Kontrol workshop at DSS, get cozy and watch it here! 💫.

0

2

0

Runtime Vеrification

@rv_inc

2 months

RT @AggLayer: Smart Contract Smarts: Techniques for Cross-chain Code Security. Smart contract vulnerabilities don’t stop at one chain—they’….

0

3

0

Runtime Vеrification

@rv_inc

2 months

1/ Revolutionize your formal verification experience with KaaS!. Introducing KaaS (K as a Service) – a cloud-based solution transforming how teams interact with formal verification. Trusted by industry leaders like @LidoFinance & @Optimism . 🧵⬇️

2

8

31

Runtime Vеrification

@rv_inc

2 months

7/ Why Choose KaaS?. With KaaS, we aim to make formal verification:.- Accessible: A seamless entry point for teams integrating verification into their workflows. - Efficient: Save time and resources with streamlined operations. - Collaborative: Share and leverage results to.

1

0

7

Runtime Vеrification

@rv_inc

2 months

8/ Ready to transform your development process?. 🔗Explore KaaS today: out for formal verification services and KaaS integration support!.

0

7