Runtime Vеrification Project Introduction, Team, Financing and News

Performances

RD Popularity Index

0100200300400500

Project Rank: 2109/15394

RD Growth Index

2470.86% (24h)

0400800120016002000

Project Rank: 2199/15394

Comparison

Team

Everett Hildenbrandt

CEO

Grigore Rosu

President and CEO

Natalia Klaus

Verification Engineer

Fundraising

LeadIIOSG Ventures MMaven 11 BBorderless Capital HHypersphere Ventures FFenbushi Capital TTezos MMultiversX ccFund

Round	Amount	Valuation	Date	Source	Investor
--	$ 5.3M	--	Jun 21, 2021	--	IIOSG Ventures FFenbushi Capital MMaven 11 BBorderless Capital HHypersphere Ventures TTezos MMultiversX ccFund

Follow Updates

Follow Lists

People

Details

Runtime Verification is a blockchain security company specializing in formal verification, providing mathematical-level assurance for smart contracts and blockchain protocols based on its self-developed K Framework (an executable semantic definition framework). It can formally verify contracts written in Solidity, Vyper, etc., proving code behavior against specifications line by line, while also offering security audits, fuzzing, symbolic execution, and open-source tools like Kontrol to help developers integrate verification into CI/CD pipelines. Developers can submit contract code and specifications, or directly leverage its toolchain for self-verification, uncovering edge-case vulnerabilities that traditional audits may miss.

Tags:

Security Solutions

Security Audit

Location:

United States

Rate Runtime Vеrification

0.0

Rated by 0 users

What’s your take on Runtime Vеrification? Share your review.

Reviews and ratings are posted by users, do not constitute financial advice, and do not represent the views of the platform.