Runtime VerificationKontrol updates April 4t, 2024Today, we are introducing a new way to bring updates!Apr 4Apr 4
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…Apr 1Apr 1
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…Mar 5Mar 5
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…Feb 5Feb 5
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…Dec 4, 2023Dec 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…Nov 27, 2023Nov 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…Nov 2, 2023Nov 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…Oct 30, 2023Oct 30, 2023
Runtime VerificationTesting ERC-20 Tokens Part 1: An Arsenal for Bug Detection Towards a Benchmark for ERC-20 Test…AbstractOct 18, 2023Oct 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…Oct 17, 2023Oct 17, 2023