View profile

Runtime Verification Newsletter - Issue #11

Runtime Verification  Newsletter
Runtime Verification Newsletter - Issue #11
By Runtime Verification Newsletter • Issue #11 • View online
Hi everyone! In this issue, we are bringing all the updates and news from Runtime Verification for the month of March and April. 
If you enjoy this newsletter, share it with your friends and don’t forget to join us in Discord!

First company retreat in Barcelona
At the begging of the month, the whole team took a break to join the first official retreat in the city of Barcelona. After waiting for a long time to have the chance to travel again without restrictions, we chose the city of Barcelona to spend a week doing tourist stuff, eating a lot of food, going to the beach to play volleyball, and, well, work a little bit together.
Runtime Verification at Devconnect Amsterdam
While some members of the team attended the events at Devconnect in Amsterdam, our CTO Everett Hildenbrandt, gave a talk at Blockswap‘s Multichain ETH event and participated in a panel at the TrustX event together with Martin Lundfall (Ethereum), Mooly Sagiv (Certora), Joran Honig (ConsenSys Diligence) and Hadrien Croubois (OpenZeppelin).
Audits updates
We have been working on several long-term audits during the last two months, including the completion of Atlendis and Blockswap, both part of the Ethereum ecosystem. Reports and blog posts summarizing the details of the audits are already available. 
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