Category: News
What we announced, and underneath it what other people wrote about us.
Wonderland CTF 2026: Fixed Deposits Challenge Results by Runtime Verification
Earlier this week, our team at Runtime Verification participated in Wonderland’s CTF, providing one of the challenges to snatch a piece of the $30,000 prize pool. We want to thank everyone who joined us and worked tirelessly to solve all the challenges (and congrats to the winning teams!).
Introducing the Simbolik Contributor Program
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Simbolik Expands into a Full Security Toolkit for Solidity Engineers
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
The RV Ethos
It's not for some effort towards external transparency, but rather to provide inspiration for those out there that might think "there must be a better way to do business with each other!". If this story of sustainability, transparency, and ultimately decentralization excites you, you might be one of those in the space that maintains a similar ethos to us.
Meet the RV Team at DevCon
Our team is already in Thailand, ready to take over DevCon and the side events organized by different teams in the ecosystem! In this blog, we list all the events where our team will be speaking, how to get in touch with us and meet us, and update you on the latest developments in our tooling.
K 7.0: Improving K for Ecosystem Tool Developers
April 2024 saw the release of version 7.0 of the K Framework. Previously, K was focused on the implementation of programming language semantics, and external tool support was required to expand those semantics into production tooling for a language. In K 7.0, we have merged our Python support library for K (Pyk) into the K compiler, making it the primary way for tool developers to interact with K.
Runtime Verification Hosts EthCluj Workshop on Formal Methods
On April 14th, Andrej Vacaru and Raoul Schaffranek from Runtime Verification were privileged to lead an online workshop hosted by the EthCluj community. We are sincerely grateful for this opportunity, which allowed us to share our passion for innovative software verification tools with an engaged audience.
Runtime Verification Launches a Registered Algorand Relay Node
We are thrilled to announce that Runtime Verification has launched a new registered Algorand relay node, contributing to the operation of Algorand’s network
Runtime Verification Brings Formal Verification to Algorand
We are happy to announce the public beta of KAVM — the formal semantics of the Algorand Virtual Machine built with the K framework!!
Runtime Verification Audits World Mobile EarthNode NFT Claiming Contract
Runtime Verification is proud to announce the successful completion of its audit of the World Mobile EarthNode NFT claiming contract. World Mobile is a blockchain-based mobile network aiming to connect people and communities globally. The audit examined the EarthNode NFT claiming smart contract, which manages NFT ownership for node operators, who can earn rewards in the form of the native WMT currency by contributing to the sharing economy. After a comprehensive manual code review, the audit identified some issues and informative findings.
Runtime Verification becomes Algorand Foundation’s security partner
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Runtime Verification Raises $5.3 Million to Advance Blockchain Security
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
