Runtime Verification

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

Design Patterns are one of the important concepts in Software engineering. While trying to understand by going through the patterns is the usual way. We should try to think through the real world examples point of view to get more clarity on how they are being used. …

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

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

Runtime Verification is pleased to announce the audit completion of Pact’s Router smart contract. Pact is an automated market maker (AMM) built on the Algorand Blockchain, offering liquidity to swap ALGO and Algorand Standard Assets (ASA) with low transaction fees. Audit Scope At the beginning of the year, an audit was conducted…