Feb 28, 2022

Runtime Verification Newsletter - Issue #10

By Runtime Verification Newsletter • Issue #10 • View online

Hi everyone! In this issue, we are bringing all the updates and news from Runtime Verification for the month of February.

If you enjoy this newsletter, share it with your friends and don’t forget to join us in Discord!

Audit updates

During the month of February, we have published a series of reports and dedicated blog posts summarizing the details of the audits, including Alchemix (Ethereum), Pact and Folks Finance (Algorand), and QuipuSwap (Tezos).

Runtime Verification at UnChained 2022

Last Saturday, Andrei Vacaru joined UnChained 2022 with a talk about formal verification and KEVM. All the talks are available on the official RazzorSec youtube channel.

www.youtube.com • Share

We are hiring!

Check out our new job opportunities in the technical, marketing and product department. Make sure to visit our careers page and ask any questions about the openings to our team by email or in discord.

Did you enjoy this issue?

By Runtime Verification Newsletter

Monthly updates about Runtime Verification and K Framework.

Tweet

Share

In order to unsubscribe, click here.

If you were forwarded this newsletter and you like it, you can subscribe here.