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. …

Welcome to another issue of our monthly newsletter on Medium. This time around, we bring our updates for the month of April. …

Welcome to another issue of our monthly newsletter on Medium. This time around we bring our updates for the month of March. …

We are happy to announce the public beta of KAVM — the formal semantics of the Algorand Virtual Machine built with the K framework!

Welcome to another issue of our monthly newsletter on Medium. This time around, we bring our updates for the month of February. 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…

At Runtime Verification, we want to be as efficient as possible with our software development, but working on a team necessarily introduces inefficiency, which companies must manage. Being remote-first also presents unique challenges that teams must actively and intentionally overcome. An example of why efficiency matters: suppose you have a…

Welcome to the first issue of our new updates section on our medium. …

We don’t want bugs in our code, period. Bugs are not only annoying, they can cost us millions of dollars if they go unnoticed. No matter how hard we try, every time we remove a bug, another pops up in a seemingly unrelated part of the code base.

2022 has been and will continue to be a big year in Ethereum smart contract development tooling. At this year’s Eth DevConnect, there was even a dedicated formal verification tooling event, where some amazing brainstorming and development took place. Developers are finding that they can achieve higher software quality assurance…