Runtime VerificationKontrol updates April 4t, 2024Today, we are introducing a new way to bring updates!3 min read·Apr 4, 2024----
Runtime VerificationKontrol 101Recently 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 read·Apr 1, 2024----
Runtime VerificationRuntime Verification February 2024 UpdatesWelcome 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 read·Mar 5, 2024----
Runtime VerificationRuntime Verification January 2024 UpdatesWelcome 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 read·Feb 5, 2024----
Runtime VerificationRuntime Verification November 2023 UpdatesWelcome 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 read·Dec 4, 2023----
Runtime VerificationDevconnect week event recap: TrustX, Alt Layer Rollup Frontier Day, EVM Summit, and moreAfter 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 read·Nov 27, 2023----
Runtime VerificationRuntime Verification October 2023 UpdatesWelcome 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 read·Nov 2, 2023----
Runtime VerificationTowards a Comprehensive ERC Test SuiteDeveloping ERC tokens can be particularly challenging because of their inherent immutability, the intricacy of their behavior, and the…4 min read·Oct 30, 2023----
Runtime VerificationTesting ERC-20 Tokens Part 1: An Arsenal for Bug Detection Towards a Benchmark for ERC-20 Test…Abstract7 min read·Oct 18, 2023----
Runtime VerificationIs 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 read·Oct 17, 2023----