InHigher Degree Research InsightsbyLoay Aladib, Ph.D.How Runtime Verification (RV) Shapes Software, Science, and Artificial Intelligence (AI)In today’s fast-changing world of software engineering, making sure software works reliably, accurately, and safely is tremendously…Apr 26
Sundae LabsA Taste of Red Velvet: SundaeSwap & Runtime VerificationSundaeSwap Labs has chosen Runtime Verification, Inc. to conduct an extensive security audit of the SundaeSwap protocol in advance of its…Sep 23, 2021
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
InHigher Degree Research InsightsbyLoay Aladib, Ph.D.How Runtime Verification (RV) Shapes Software, Science, and Artificial Intelligence (AI)In today’s fast-changing world of software engineering, making sure software works reliably, accurately, and safely is tremendously…Apr 26
Sundae LabsA Taste of Red Velvet: SundaeSwap & Runtime VerificationSundaeSwap Labs has chosen Runtime Verification, Inc. to conduct an extensive security audit of the SundaeSwap protocol in advance of its…Sep 23, 2021
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 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 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 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, 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, 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, 2023
