Hi everyone! In this issue, we are bringing all the updates and news from Runtime Verification for the month of June.
If you enjoy this newsletter, share it with your friends and don’t forget to join us in Discord!
$5.3 Million raised in our first-ever funding round
We are proud to announce that we have raised $5.3 million in a funding round led by IOSGVentures. It is the first-ever founding round conducted by the company and it will be used to accelerate the development of tooling intended to enhance the safety, reliability, and correctness of computing systems for blockchain and embedded systems, as well as to expand Runtime Verification’s global presence. More details can be found in thedesignated blog post.
Catch up with us at EthCC Paris!
If you are going to EthCC Paris, make sure you drop by our workshop about K Framework and say hi to Rikard! The workshop will take place on July 20th, at 10:25 am in the Bièvre room (+2 floor), and it will cover a technical hands-on introduction to formal verification.
Security risks for staking providers blog post
After our team worked on several audits engagements with different staking providers, we decided it was time to write a blog post explaining some common security mistakes and how to avoid them, as well as best practices for users when choosing a DeFi project to trust their funds.
What's the team up to?
It’s been a busy month for the team with the announcement of the funding raise, multiple security audits, and working on our tools. If you have a passion for security, formal verification and you are looking for a career change ( or start your career in formal methods),talk to us and join us!