Runtime Verification – Medium

Runtime Verification

Runtime Verification

Kontrol updates April 4t, 2024

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

3 min readApr 4, 2024

--

Kontrol updates April 4t, 2024

--

Runtime Verification

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…

8 min readApr 1, 2024

--

Kontrol 101

--

Runtime Verification

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…

4 min readMar 5, 2024

--

Runtime Verification February 2024 Updates

--

Runtime Verification

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…

4 min readFeb 5, 2024

--

Runtime Verification January 2024 Updates

--

Runtime Verification

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…

4 min readDec 4, 2023

--

Runtime Verification November 2023 Updates

--

Runtime Verification

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…

5 min readNov 27, 2023

--

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

--

Runtime Verification

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…

5 min readNov 2, 2023

--

Runtime Verification October 2023 Updates

--

Runtime Verification

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…

4 min readOct 30, 2023

--

Towards a Comprehensive ERC Test Suite

--

Runtime Verification

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

Abstract

7 min readOct 18, 2023

--

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

--

Runtime Verification

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…

11 min readOct 17, 2023

--

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

--

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