View profile

Runtime Verification Newsletter - Issue #4

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

Runtime Verification at EthCC Paris
Rikard Hjort hosted a workshop about a technical hands-on introduction to formal verification at EthCC Paris last week. Some team members also went to Paris and attended side events happening around Paris during the week. If you want to reconnect, please say hi!!
Dexter's Formal Verification
We are proud to announce the completion of Dexter V2’s formal verification. Dexter 2 is an open-source, decentralized, non-custodial exchange for XTZ and FA1.2/FA2 tokens on the Tezos blockchain developed by the CamlCase team. A detailed report and a dedicated blog post are available to anyone wanting to know more about the engagement and its results.
XET Token Audit
Runtime Verification has finished auditing XET token and its deployment script. A detailed report and a dedicated blog post are available to anyone wanting to know more about the engagement and its results.
DeFi Summer Hackathon
Our CTO, Everett Hildenbrant, hosted a workshop at DeFi Summer Hackathon where he talked about Formal Verification for DeFi Projects. The workshop recording is available on youtube in addition to the blog post written by the Minority Programmers, summarizing the workshop and the Q&A
#DefiSummer: Formal Verification of DeFi Projects
#DefiSummer: Formal Verification of DeFi Projects
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