Runtime Verification – Medium

Runtime Verification

Kontrol updates April 4t, 2024

Today, we are introducing a new way to bring updates!

Apr 4, 2024

Kontrol updates April 4t, 2024

Apr 4, 2024

Kontrol 101

Recently you may have heard about our new tool Kontrol, but are still uncertain about what it is or how it might benefit your project’s…

Apr 1, 2024

Kontrol 101

Apr 1, 2024

Runtime Verification February 2024 Updates

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

Mar 5, 2024

Runtime Verification February 2024 Updates

Mar 5, 2024

Runtime Verification January 2024 Updates

Welcome to the first newsletter of the year. This time around, we bring a combination of updates from last December and the month of…

Feb 5, 2024

Runtime Verification January 2024 Updates

Feb 5, 2024

Runtime Verification November 2023 Updates

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

Dec 4, 2023

Runtime Verification November 2023 Updates

Dec 4, 2023

Devconnect week event recap: TrustX, Alt Layer Rollup Frontier Day, EVM Summit, and more

After a long week in Istanbul for Devconnect, our team is back home working towards a safer ecosystem for projects and users alike with the…

Nov 27, 2023

Devconnect week event recap: TrustX, Alt Layer Rollup Frontier Day, EVM Summit, and more

Nov 27, 2023

Runtime Verification October 2023 Updates

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

Nov 2, 2023

Runtime Verification October 2023 Updates

Nov 2, 2023

Towards a Comprehensive ERC Test Suite

Developing ERC tokens can be particularly challenging because of their inherent immutability, the intricacy of their behavior, and the…

Oct 30, 2023

Towards a Comprehensive ERC Test Suite

Oct 30, 2023

Testing ERC-20 Tokens Part 1: An Arsenal for Bug Detection Towards a Benchmark for ERC-20 Test…

Abstract

Oct 18, 2023

Testing ERC-20 Tokens Part 1: An Arsenal for Bug Detection Towards a Benchmark for ERC-20 Test…

Oct 18, 2023

Is my ERC-4626 vault token up to the standard?

ERC-4626 is an extension of ERC-20 that introduces a standardized interface for tokenized vaults. Any ERC-4626 token also functions as an…

Oct 17, 2023

Is my ERC-4626 vault token up to the standard?

Oct 17, 2023

Runtime Verification

Runtime Verification

Runtime Verification Inc. is a technology startup providing cutting edge formal verification tools and services for aerospace, automotive, and the blockchain.

Following

Help

Status

About

Careers

Press

Blog

Privacy

Rules

Terms

Text to speech