View profile

Runtime Verification Newsletter - Issue #10

Runtime Verification  Newsletter
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. 
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?
Runtime Verification  Newsletter

Monthly updates about Runtime Verification and K Framework.

In order to unsubscribe, click here.
If you were forwarded this newsletter and you like it, you can subscribe here.
Powered by Revue