Welcome to another issue of our monthly newsletter on Medium. This time around, we bring our updates for the month of August. As always, the updates that we post here are summarized and simple, but we are more than happy to give more details and answer any questions on our…

Welcome to another issue of our monthly newsletter on Medium. This time around, we bring our updates for the month of July. As always, the updates that we post here are summarized and simple, but we are more than happy to give more details and answer any questions on our…

Welcome to another issue of our monthly newsletter on Medium. This time around, we bring our updates for the month of June. As always, the updates that we post here are summarized and simple, but we are more than happy to give more details and answer any questions on our…

With K v6 we are modernizing the K Framework. We focused on emphasizing usability and customization in the design to make it easier than ever to generate a set of tools for your programming language environment! This includes easy installation, IDE support, a Python API, RPC interface, Language Bindings, a…

Have you ever interacted with an ERC-20 token/contract and wondered if it is secure or reusable? Buying a token that at least follows the required standard specification should be the norm. An ERC-20 token should abide by additional desirable properties not planned in the original specification. What can you do…

Welcome to another issue of our monthly newsletter on Medium. This time around, we bring our updates for the month of May. As always, the updates that we post here are summarized and simple, but we are more than happy to give more details and answer any questions on our…

This blog post has been co-authored by the Term Labs and Runtime Verification teams. Introduction We are delighted to announce the completion of a successful two-week audit of the Term Finance Protocol. For this engagement, Runtime Verification was tasked with examining a small, critical part of its codebase, with the goal…

Welcome to another issue of our monthly newsletter on Medium. This time around, we bring our updates for the month of April. As always, the updates that we post here are summarized and simple, but we are more than happy to give more details and answer any questions on our…

Welcome to another issue of our monthly newsletter on Medium. This time around we bring our updates for the month of March. As always, the updates that we post here are summarized and simple, but we are more than happy to give more details and answer any questions on our…