Runtime Verification – Medium

Runtime Verification

Kontrol updates April 4t, 2024

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

Apr 4

Kontrol updates April 4t, 2024

Apr 4

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

Kontrol 101

Apr 1

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

Runtime Verification February 2024 Updates

Mar 5

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

Runtime Verification January 2024 Updates

Feb 5

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
Terms
Text to speech
Teams